Computer Arithmetic: Logic, Calculation, and Rewriting.

Tools

Benini, Marco, Nowotka, Dirk and Pulley, Carl (1998) Computer Arithmetic: Logic, Calculation, and Rewriting. [Paper] In: Frontiers of Combining Systems (FroCoS). , 2 - 4 Oct 1998, Amsterdam, The Netherlands . Frontiers of Combining Systems. ; pp. 77-93 . Studies in Logic and Computation .

[thumbnail of ComputerArithmetic.pdf]
Preview
 Text
ComputerArithmetic.pdf
Download (141kB) | Preview

Abstract

This paper describes the concepts behind the Computer Arithmetic Toolkit (CAT) for the Isabelle/HOL system written by the authors.

Document Type: Conference or Workshop Item (Paper)
Keywords: software verification logic
Research affiliation: Kiel University
Publisher: Research Studies Press Ltd.
Date Deposited: 15 Feb 2013 22:39
Last Modified: 23 Sep 2019 18:50
URI: https://oceanrep.geomar.de/id/eprint/20543

Actions (login required)

View Item View Item