Shrad: A Language for Sequential Real Number Computation

13 years 6 months ago

Download www-users.aston.ac.uk

Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efﬁciency as much as possible. The interval domain model—or its variations— egarded as the standard setting to obtain maximum data abstraction. As for efﬁciency there has been much focus on sequentiality to the extent that these two terms have become almost synonymous. Escard´o et al. [1998, 2004] demonstrated that there is not much one can get by sequential computation in the interval domain model. In Farjudian [2004a, 2003] 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 efﬁciency. One way forward is to try to sacriﬁce singlevaluedness over partial real numbers. This is exactly what we will see in designing SHRAD,1 where we succeed in presenting a framework for e...

Amin Farjudian

Real-time Traffic