Exact real arithmetic: A case study in higher order programming

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986

Volumn , Issue , 1986, Pages 162-173

  Bochm, Hans J ^a   Cartwrigkt, Robert ^a   Riggle, Mark ^a   O'Donnell, Michael J ^b  

^a RICE UNIVERSITY   (United States)

^b UNIVERSITY OF CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LISP (PROGRAMMING LANGUAGE); RATIONAL FUNCTIONS;

EMPIRICAL - COMPARISONS; EXACT REAL ARITHMETIC; HIGHER ORDER PROGRAMMING; LAZY EVALUATION; LAZY FUNCTIONAL LANGUAGES; RATIONAL APPROXIMATIONS; REAL NUMBER; SCIENCE COMMUNITY;

FUNCTIONAL PROGRAMMING;

EID: 85049198578     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319838.319860     Document Type: Conference Paper

References (24)

1. Avizienis, A., "Signed-Digit Number Representations for Fast Parallel Arithmetic", Institute of Radio Engineers Transactions on Electron, Computers, 1961, p. 389.
2. Avizienis, A, "Binary-Compatible Signed-Digit Arithmetic", AFIPS Conference Proceedings 26, 1 (1964), pp. 663-672
3. Atkins, D. E., "Introduction to the Role of Redundancy in Computer Arithmetic, IEEE Computer 8, 6 (1975), pp. 74-76
4. Bishop, Errett, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
5. Bridges, D. S., Constructive Functional Analysis, Pitman, London, 1979.
6. Boehm, Hans, Alan Demers, and James Donahue, "A Programmer's Introduction to Russell", Technical Report 85-16, Department of Computer Science, Rice University.
7. Boehm, Hans, and Alan Demers, "Implementing Russell", Technical Report 85-25, Department of Computer Science, Rice University. Was also presented at the SIGPLAN '86 Compiler Construction Conference.
8. Cardelli, Luca, "Compiling a Functional Language", Conference Record of the 1984 Symposium on LISP and Functional Programming, pp. 208-217.
9. R. Cartwright, "A Constructive Alternative to Axiomat, Data Type Definitions", Proceedings of 1980 Symposium on LISP and Functional Programming, Stanford University, August 1980, pp. 46-55.
10. R. Cartwright, "Formal Program Testing, " Proceedings of the Eighth Annual Symposium on Principles of Programming Languages, Williamsburg, Va, January 1981, pp. 125-132
11. R. Cartwright and J. Donahue, "The Semantics of Lazy and Industrious Evaluation, " Conference Record of the 1982 ACM Symposium on LISP and Functional Programming, Carnegie-Mellon University, August 1982.
12. Cartwright, Robert S, et al., "Rn: An Experimental Computer Network to Support Numerical Computation", Technical Report, Mathematical Sciences Department, Rice University, 1982.
13. R. Cartwright, "Recursive Programs as Definitions in First Order Logic", SIAM J. Computing, May 1984
14. Demers, Alan, and J. Donahue, "Data Types are Values", ACM Transactions on Programming Languages and Systems 7, 3 (July 1985), pp 426-445.
15. Golub, Gene H., and Charles F. Van Loan, Matrix Computations, Johns Hopkins University Press, Baltimore, 1983.
16. Knuth, Donald E., The Art of Computer Programming, Vol. S, Seminumerical Algorithms, Addison Wesley, 1969.
17. Myhill, J., "What is a Real Number?", American Mathematical Monthly 79, 7 (1972), pp. 748-754
18. O'Donnell, Michael J., Equational Log, as a Programming Language, MIT Press, 1985
19. Owens, R. M. and M. F. Irwin, "On-Line Algorithms for the Design of Pipeline Architectures", Annual Symposium on Computer Architecture, Philadelphia, 1979, pp 12-19
20. Peyton Jones, Simon L., "Arbitrary Precision Arithmet, Using Continued Fractions", INDRA Note 1530, Department of Computer Science, University College London, 1984
21. Rogers, Hartley Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967. See especially p. 371.
22. D Scott, Lectures on a Mathematical Theory of Computation, Technical Monograph PRG-19, Oxford University Computing Laboratory, Oxford, 1981.
23. Wiedmer, E., "Computing with Infinite Objects", Theoretical Computer Science 10 (1980), pp. 133-155
24. Wilkinson, J H., The Algebra, Eigenvalue Problem, Academ, Press, London, 1965