Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio introduced his semantics for exact real number computation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. The interval domain model — or its variations — can be regarded as the standard setting to obtain maximum data abstraction. As for efficiency there has been much focus on sequentiality to the extent that these two terms have become almost synonymous. [2,3] demonstrated that there is not much one can get by sequential computation in the interval domain model. In [4,5] we reinforced this result by exposing the limited power of (some extensions of) the sequential fragment of Real-PCF.
- 1.Di Gianantonio, P.: A Functional Approach to Computability on Real Numbers. PhD thesis, Università di Pisa-Genova-Udine (1993)Google Scholar
- 2.Escardó, M.H., Hofmann, M., Streicher, T.: Mediation is inherently parallel, University of Edinburgh, Laboratory for Foundations of Computer Science, EPSRC report for project GR/M64840 (1998)Google Scholar
- 3.Escardó, M.H., Hofmann, M., Streicher, T.: On the non-sequential nature of the interval-domain model of exact real-number computation. Mathematical Structures in Computer Science (2004) (accepted for publication)Google Scholar
- 4.Farjudian, A.: Sequentiality and piecewise affinity in fragments of Real-PCF. To Appear in ENTCS (2003)Google Scholar
- 5.Farjudian, A.: Conservativity of wRPCF over PCF. Unpublished Manuscript (2003)Google Scholar
- 6.Farjudian, A.: Sequentiality in Real Number Computation. PhD thesis, Dissertation, School of Computer Science, The University of Birmingham, UK (2004) Google Scholar