Sequential real number computation and recursive relations

DOI10.1002/MALQ.200710065MaRDI QIDQ3528145zbMATH OpenOpenAlexFDO

Authors J. Raymundo Marcial-Romero, M. Andrew Moshier

Publication date 8 October 2008

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710065

zbMATH Keywords

semanticsnondeterminismPCFrecursive relationssequential computationexact real-number computation

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Sequential real number computation and recursive relations
• Recursive characterization of computable real-valued functions and relations
• First-order universality for real programs
• First-order universality for real programs
• scientific article; zbMATH DE number 3893184

Cites work

• scientific article; zbMATH DE number 1670818 (Why is no real title available?)
• scientific article; zbMATH DE number 1333613 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• LCF considered as a programming language
• Notions of computation and monads
• On the non-sequential nature of the interval-domain model of real-number computation
• Recursive characterization of computable real-valued functions and relations
• Semantics of a sequential language for exact real-number computation
• Sequential real number computation and recursive relations
• Sequentiality and piecewise-affinity in segments of Real-PCF

Cited in

(4)

• SHRAD: A language for sequential real number computation
• scientific article; zbMATH DE number 975358 (Why is no real title available?)
• Sequential real number computation and recursive relations
• First-order universality for real programs

Describes a project that uses

Uses Software

• SHRAD

This page was built for publication: Sequential real number computation and recursive relations

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