ACM Transactions on Programming Languages and Systems (TOPLAS)
Equational logic as a programming language
Equational logic as a programming language
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Selective interpretation as a technique for debugging computationally intensive programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
The Bath algebraic number package
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Exact real arithmetic: a case study in higher order programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Selective interpretation as a technique for debugging computationally intensive programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Exact real computer arithmetic with continued fractions
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Optimizing programs over the constructive reals
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Hardware speedups in long integer multiplication
SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
Exact Real Computer Arithmetic with Continued Fractions
IEEE Transactions on Computers
Hardware speedups in long integer multiplication
ACM SIGARCH Computer Architecture News - Symposium on parallel algorithms and architectures
Lazy Algorithms for Exact Real Arithmetic
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We explore the feasibility of providing exact real arithmetic for use in conventional numerical programs. We have built a prototype interpreter which replaces floating point operations with operations on constructive real numbers in the execution of conventional Fortran programs. Such a facility makes it unnecessary to concern oneself with issues of numerical stability in the solution of small problems. It also provides a useful tool for the development of larger numerical programs.We discuss the computability and algorithmic issues involved in the design of the interpreter, as well as some preliminary experiences and performance measurements.