DocumentCode
3297828
Title
Semantics of exact real arithmetic
Author
Potts, P.J. ; Edalat, Abbas ; Escardo, M.H.
Author_Institution
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
fYear
1997
fDate
29 Jun-2 Jul 1997
Firstpage
248
Lastpage
257
Abstract
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with non-negative integer coefficients into the Programming Language for Computable Functions (PCF) with products. We present two models for the extended language and show that they are computationally adequate with respect to the operational semantics
Keywords
digital arithmetic; formal languages; PCF; Programming Language for Computable Functions; exact real arithmetic; extended language; extended real numbers; linear fractional transformations; operational semantics; Computer languages; Digital arithmetic; Educational institutions; Functional programming; Integer linear programming; Mathematical model; Roundoff errors;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1997. LICS '97. Proceedings., 12th Annual IEEE Symposium on
Conference_Location
Warsaw
ISSN
1043-6871
Print_ISBN
0-8186-7925-5
Type
conf
DOI
10.1109/LICS.1997.614952
Filename
614952
Link To Document