Specifying real numbers in CASL

DOI10.1007/978-3-540-44616-3_9MaRDI QIDQ2722021zbMATH OpenFDO

Authors Markus Roggenbach, Lutz Schröder, Till Mossakowski

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-44616-3_9

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Implementing local intervals in CASL
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 2172806
• Constructing the real numbers in HOL
• An abstract data type for real numbers

Cited in

(4)

• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
• CASL: the Common Algebraic Specification Language.
• Simple equational specifications of rational arithmetic
• Implementing local intervals in CASL

This page was built for publication: Specifying real numbers in CASL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722021)