Semantics of a sequential language for exact real-number computation

DOI10.1016/j.tcs.2007.01.021zbMath1118.68083OpenAlexW2111203331MaRDI QIDQ2373708

Martín Hötzel Escardó, J. Raymundo Marcial-Romero

Publication date: 16 July 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.01.021

zbMATH Keywords

semanticsPCFnon-determinismsequential computationexact real-number computation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (13)

Abstract State Machines with Exact Real Arithmetic ⋮ Semantics of a sequential language for exact real-number computation ⋮ Unnamed Item ⋮ A Denotational Semantics for Total Correctness of Sequential Exact Real Programs ⋮ On naturally continuous non-dcpo domains ⋮ Sequential real number computation and recursive relations ⋮ Unnamed Item ⋮ Computing with continuous objects: a uniform co-inductive approach ⋮ Sequential Real Number Computation and Recursive Relations ⋮ First-Order Universality for Real Programs ⋮ Proofs, programs, processes ⋮ Semantical proofs of correctness for programs performing non-deterministic tests on real numbers ⋮ From Coinductive Proofs to Exact Real Arithmetic

Uses Software

• SHRAD
• iRRAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semantics for complex objects and approximate answers
• Power domain constructions
• The mixed powerdomain
• LCF considered as a programming language
• A fundamental effect in computations on real numbers
• Power domains
• Induction and recursion on the partial real line with applications to Real PCF
• Recursive characterization of computable real-valued functions and relations
• PCF extended with real numbers
• Exact real number computations relative to hereditarily total functionals.
• An abstract data type for real numbers
• Semantics of a sequential language for exact real-number computation
• A Powerdomain Construction
• On the non-sequential nature of the interval-domain model of real-number computation
• Continuous Lattices and Domains
• Lazy computation with exact real numbers

This page was built for publication: Semantics of a sequential language for exact real-number computation