Computer Arithmetic: Logic, Calculation, and Rewriting

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.

[img]
Preview
Text
ComputerArithmetic.pdf

Download (138Kb) | 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 > Faculty of Engineering > Department of Computer Science > Dependable Systems
Date Deposited: 15 Feb 2013 22:39
Last Modified: 15 Feb 2013 22:39
URI: http://eprints.uni-kiel.de/id/eprint/20543

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...