Real number computation with committed choice logic programming languages

DOI10.1016/J.JLAP.2004.07.005MaRDI QIDQ1779564zbMATH OpenOpenAlexFDO

Authors Hideki Tsuiki

Publication date 1 June 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2004.07.005

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Programming Languages and Systems
• Real number computation through Gray code embedding.
• scientific article; zbMATH DE number 1333613
• Lazy computation with exact real numbers
• Lazy computation with exact real numbers

Cites work

• scientific article; zbMATH DE number 41233 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1746047 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Compact metric spaces as minimal-limit sets in domains of bottomed sequences
• Nondeterminism and infinite computations in constraint programming
• Programming Languages and Systems
• Real number computation through Gray code embedding.

Cited in

(8)

• SHRAD: A language for sequential real number computation
• Extracting total Amb programs from proofs
• Real number computation through Gray code embedding.
• A programming language for the interval geometric machine
• Lookahead analysis in exact real arithmetic with logical methods
• Logic for Gray-code computation
• Programming Languages and Systems
• Intuitionistic fixed point logic

Describes a project that uses

Uses Software

• GHC
• Haskell

This page was built for publication: Real number computation with committed choice logic programming languages

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