Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Di Gianantonio, P.: A Functional Approach to Computability on Real Numbers. PhD thesis, Università di Pisa-Genova-Udine (1993)
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)
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)
Farjudian, A.: Sequentiality and piecewise affinity in fragments of Real-PCF. To Appear in ENTCS (2003)
Farjudian, A.: Conservativity of wRPCF over PCF. Unpublished Manuscript (2003)
Farjudian, A.: Sequentiality in Real Number Computation. PhD thesis, Dissertation, School of Computer Science, The University of Birmingham, UK (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Farjudian, A. (2005). Shrad: A Language for Sequential Real Number Computation. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds) New Computational Paradigms. CiE 2005. Lecture Notes in Computer Science, vol 3526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494645_16
Download citation
DOI: https://doi.org/10.1007/11494645_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26179-7
Online ISBN: 978-3-540-32266-5
eBook Packages: Computer ScienceComputer Science (R0)