Constructive real interpretation of numerical programs
- 1 July 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 22 (7) , 214-221
- https://doi.org/10.1145/960114.29673
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Selective interpretation as a technique for debugging computationally intensive programsPublished by Association for Computing Machinery (ACM) ,1987
- Implementing RUSSELLPublished by Association for Computing Machinery (ACM) ,1986
- The Bath algebraic number packagePublished by Association for Computing Machinery (ACM) ,1986
- Exact real arithmetic: a case study in higher order programmingPublished by Association for Computing Machinery (ACM) ,1986
- Data types are valuesACM Transactions on Programming Languages and Systems, 1985
- Computing with infinite objectsTheoretical Computer Science, 1980
- What Is a Real Number?The American Mathematical Monthly, 1972