An abstract data type for real numbers

DOI10.1007/3-540-63165-8_170zbMath1401.68211OpenAlexW1634395416MaRDI QIDQ4571945

Pietro Di Gianantonio

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_170

zbMATH Keywords

operational semanticsdenotational semanticsdomain theoryabstract data typesreal-number computability

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Computation over the reals, computable analysis (03D78)

Related Items (1)

Real number computation through Gray code embedding.

Cites Work

• Unnamed Item
• Unnamed Item
• LCF considered as a programming language
• PCF extended with real numbers
• Integration in Real PCF
• Real number computability and domain theory
• A universality theorem for PCF with recursive types, parallel-or and ∃

This page was built for publication: An abstract data type for real numbers