Semantics of exact real arithmetic

Peter John Potts; Abbas Edalat; Martin Hotzel Escardo

Semantics of exact real arithmetic

Peter John Potts^*, Abbas Edalat, Martin Hotzel Escardo

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English
Pages (from-to)	248-257
Number of pages	10
Journal	Proceedings - Symposium on Logic in Computer Science
Publication status	Published - 1997
Event	Proceedings of the 1997 12th Annual IEEE Symposium on Logic in Computer Science, LICS - Warsaw, Pol Duration: 29 Jun 1997 → 2 Jul 1997

ASJC Scopus subject areas

Software
General Mathematics

Cite this

@article{1fbee3f3df074aab8fb00eb213b8031e,

title = "Semantics of exact real arithmetic",

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.",

author = "Potts, {Peter John} and Abbas Edalat and Escardo, {Martin Hotzel}",

year = "1997",

language = "English",

pages = "248--257",

journal = "Proceedings - Symposium on Logic in Computer Science",

issn = "1043-6871",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

note = "Proceedings of the 1997 12th Annual IEEE Symposium on Logic in Computer Science, LICS ; Conference date: 29-06-1997 Through 02-07-1997",

}

TY - JOUR

T1 - Semantics of exact real arithmetic

AU - Potts, Peter John

AU - Edalat, Abbas

AU - Escardo, Martin Hotzel

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030707452&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0030707452

SN - 1043-6871

SP - 248

EP - 257

JO - Proceedings - Symposium on Logic in Computer Science

JF - Proceedings - Symposium on Logic in Computer Science

T2 - Proceedings of the 1997 12th Annual IEEE Symposium on Logic in Computer Science, LICS

Y2 - 29 June 1997 through 2 July 1997

ER -

Semantics of exact real arithmetic

Abstract

ASJC Scopus subject areas

Fingerprint

Cite this