loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th Annual IEEE Symposium on Logic in Computer Science (LICS'97)
Semantics of Exact Real Arithmetic
Warsaw, POLAND
June 29-July 02
ISBN: 0-8186-7925-5
ASCII Text
x 
 
Peter Potts, Abbas Edalat, Martin Escardo, "Semantics of Exact Real Arithmetic," Logic in Computer Science, Symposium on, pp. 248, 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), 1997.
 
 
BibTex
x
 
@article{ 10.1109/LICS.1997.614952,
author = {Peter Potts and Abbas Edalat and Martin Escardo},
title = {Semantics of Exact Real Arithmetic},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {1997},
issn = {1043-6871},
pages = {248},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.1997.614952},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Semantics of Exact Real Arithmetic
SN - 1043-6871
SP
EP
A1 - Peter Potts,
A1 - Abbas Edalat,
A1 - Martin Escardo,
PY - 1997
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
Peter Potts, Imperial College
Abbas Edalat, Imperial College
Martin Escardo, Imperial College
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.
Citation:
Peter Potts, Abbas Edalat, Martin Escardo, "Semantics of Exact Real Arithmetic," lics, pp.248, 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), 1997
Usage of this product signifies your acceptance of the Terms of Use.