Specifying real numbers in CASL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1827, Issue , 2000, Pages 146-161

  Roggenbach, Markus ^a   Schröder, Lutz ^a   Mossakowski, Till ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; NUMERICAL METHODS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

DATA TYPE; FIRST ORDER; HIGHER ORDER LOGIC; NUMERICAL APPLICATIONS; REAL NUMBER; S-METHOD;

ALGEBRA;

EID: 84893091392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_9     Document Type: Conference Paper

References (13)

1. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible byWWW2 and FTP3. 146, 160, 161 CoF99.
2. CoFI Language Design Task Group. Casl – The CoFI Algebraic Specification Language – Summary, version 1.0.Documents/CASLSummary, in [CoF], July 1999. 146 Göd40.
3. K. Gödel. The Consistency of the Continuum Hypothesis. Number 3 in Annals of Math. Studies. Princeton University Press, 1940.
4. John R. Harrison. A machine-checked theory of floating point arithmetic. In The 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs’99, volume 1690 of LNCS, pages 113-130.Springer, 1999.
5. Ulrich W. Kulisch and Willard L. Miranker. Computer Arithmetic in Theory and Practice. Academic Press, 1981.
6. Serge Lang. Algebra. Addison-Wesley, 2nd edition, 1984.
7. T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Subsorted partial higher-order logic as an extension of CASL. In 14th International Workshop on Algebraic Development Techniques, WADT’99, volume 1827 of LNCS. Springer, 2000.
8. T. Mossakowski, Kolyang, and B. Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In F. Parisi Presicce, editor, Recent trends in algebraic development techniques. Proc. 12th International Workshop, volume 1376 of LNCS, pages 333–348.Springer, 1998.
9. R.E. Moore, editor. Reliability in Computing, The Role of Interval Methods in Scientific Computations. Academic Press, 1988.
10. Markus Roggenbach, Lutz Schröder, and Till Mossakowski. The datatypes REAL and COMPLEX in Casl. Note M-7, version 0.3, in [CoF], 2000.
11. Markus Roggenbach, Till Mossakowski, and Lutz Schröder. Basic Datatypes in Casl. Note L-12, version 0.4, in [CoF], March 2000.
12. Markus Roggenbach and Till Mossakowski. Rules of Methodology. Note M-6, version 0.3, in [CoF], 2000.
13. Alan M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42:230–265, 1936/37.