Real number computation with committed choice logic programming languages

DOI10.1016/J.JLAP.2004.07.005zbMath1080.68011OpenAlexW2032442081MaRDI QIDQ1779564

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)

Related Items (2)

Extracting total Amb programs from proofs ⋮ Intuitionistic fixed point logic

Uses Software

• Haskell
• GHC

Cites Work

• Nondeterminism and infinite computations in constraint programming
• Real number computation through Gray code embedding.
• Compact metric spaces as minimal-limit sets in domains of bottomed sequences
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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