Semantics of a sequential language for exact real-number computation

DOI10.1016/J.TCS.2007.01.021MaRDI QIDQ2373708zbMATH OpenOpenAlexFDO

Authors J. Raymundo Marcial-Romero, Martín Escardo

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)

Recommendations

• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
• Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
• Lazy computation with exact real numbers
• SHRAD: A language for sequential real number computation
• New Computational Paradigms

Cites work

• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1333613 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• scientific article; zbMATH DE number 3440003 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• A Powerdomain Construction
• A fundamental effect in computations on real numbers
• A semantics for complex objects and approximate answers
• An abstract data type for real numbers
• Continuous Lattices and Domains
• Exact real number computations relative to hereditarily total functionals.
• Induction and recursion on the partial real line with applications to Real PCF
• LCF considered as a programming language
• Lazy computation with exact real numbers
• On the non-sequential nature of the interval-domain model of real-number computation
• PCF extended with real numbers
• Power domain constructions
• Power domains
• Recursive characterization of computable real-valued functions and relations
• Semantics of a sequential language for exact real-number computation
• Sequentiality and piecewise-affinity in segments of Real-PCF
• The mixed powerdomain

Cited in

(18)

• Abstract State Machines with Exact Real Arithmetic
• Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
• SHRAD: A language for sequential real number computation
• Semantics, specification logic, and Hoare logic of exact real computation
• Proofs, programs, processes
• Constructive domains with classical witnesses
• Semantics of a sequential language for exact real-number computation
• Computing with continuous objects: a uniform co-inductive approach
• Sequential real number computation and recursive relations
• Sequential real number computation and recursive relations
• Computable decision making on the reals and other spaces. Via partiality and nondeterminism
• Lookahead analysis in exact real arithmetic with logical methods
• First-order universality for real programs
• From Coinductive Proofs to Exact Real Arithmetic
• scientific article; zbMATH DE number 7731929 (Why is no real title available?)
• New Computational Paradigms
• On naturally continuous non-dcpo domains

Describes a project that uses

Uses Software

• iRRAM
• SHRAD

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373708)