Lazy functional algorithms for exact real functionals

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

Volumn 1450 LNCS, Issue , 1998, Pages 456-464

  Simpson, Alex K ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; COMPUTATION THEORY;

CONTINUOUS FUNCTIONS; CORRECTNESS PROOFS; DOMAIN THEORY; EXACT REAL ARITHMETIC; FUNCTIONAL LANGUAGES; FUNCTIONALS;

COMPUTATION THEORY; ALGORITHMS;

EID: 84896801813     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055795     Document Type: Conference Paper

References (17)

1. J.-C. Bajard, D. Michelucci, J.-M. Moreau, and J.-M. Müller. Introduction to special issue: "Real Numbers and Computers,". Journal of Universal Computer Science, 1(7):436-438, 1995.
2. U. Berger. Totale Objecte und Mengen in Bereichstheorie. PhD Thesis, University of Munich, 1990.
3. U. Berger. Total objects and sets in domain theory. Journal of Pure and Applied Logic, 60:91-117, 1993.
4. H.J. Boehm and R. Cartwright. Exact real arithmetic: Formulating real numbers as functions. In D. Turner, editor, Research Topics in Functional Programming, pages 43-64. Adison-Wesley, 1990.
5. H.J. Boehm, R. Cartwright, M. Riggle, and M.J. O'Donnel. Exact real arithmetic: a case study in higher order programming. In ACM Symposium on LISP and Functional Programming, 1986.
6. P. Di Gianantonio. A Functional Approach to Computability on Real Numbers. PhD Thesis, University of Pisa, 1993.
7. P. Di Gianantonio. An abstract data type for real numbers. In Proceedings of ICALP-97, pages 121-131. Springer LNCS 1256, 1997.
8. A. Edalat and M.H. Escardö. Integration in Real PCF. Information and Computation, To appear, 1998.
9. A. Edalat and P.J. Potts. Exact Real Computer Arithmetic. Presented at workshop: New Paradigms for Computation on Classical Spaces, Birmingham, 1997.
10. M.H. Escardö. PCF extended with real numbers. Theoretical Computer Science, 162(1):79-115, 1996.
11. M.H. Escardó. Properly injective spaces and function spaces. Topology and its Applications, To appear, 1998.
12. CA. Gunter. Semantics of Programming. MIT Press, 1992.
13. Ker-I Ko. Complexity Theory of Real Functions. Birkhauser, Boston, 1991.
14. V. Menissier-Morain. Arbitrary precision real arithmetic: Design and algorithms. Journal of Symbolic Computation, Submitted, 1996.
15. G.D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5(1):223-255, 1977.
16. G.D. Plotkin. Full abstraction, totality and PCF. Math. Struct, in Comp. Sci., To appear, 1998.
17. J. Vuillemin. Exact real arithmetic with continued fractions. IEEE Transactions on Computers, 39(8):1087-1105, 1990.