Loading...

SHRAD: A language for sequential real number computation

Farjudian, A ; Sharif University of Technology | 2005

192 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/11494645_16
  3. Publisher: Springer Verlag , 2005
  4. Abstract:
  5. 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 sequentially 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. The previous argument suggests some sort of compromise in the beauty of the model in order to keep efficiency. One way forward is to try to sacrifice extensionality. This is exactly what we did in designing SHRAD [6]. There we succeeded in presenting a framework for exact real number computation which satisfies the following all at the same time: 1. It is sequential. 2. Multi-valuedness is carefully avoided. 3. A 'good degree' of expressivity is retained. © Springer-Verlag Berlin Heidelberg 2005
  6. Keywords:
  7. Data processing ; Mathematical models ; Number theory ; Semantics ; Data abstraction ; Sequential real numbers ; Computational methods
  8. Source: First Conference on Computability in Europe, CiE 2005: New Computational Paradigms, Amsterdam, 8 June 2005 through 12 June 2005 ; Volume 3526 , 2005 , Pages 128- ; 03029743 (ISSN)
  9. URL: https://link.springer.com/chapter/10.1007/11494645_16