On termination of logic programs with floating point computations

DOI10.1007/3-540-45789-5_13MaRDI QIDQ4411956zbMATH OpenFDO

Authors Alexander Serebrenik, Daniel De Schreye

Publication date 13 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm

Mathematics Subject Classification ID

Roundoff error (65G50) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Termination of floating-point computations
• Inference of Termination Conditions for Numerical Loops in Prolog
• Inference of termination conditions for numerical loops in Prolog
• Logic Based Program Synthesis and Transformation
• A general framework for automatic termination analysis od logic programs

Cited in

(6)

• Inference of termination conditions for numerical loops in Prolog
• The logic programming paradigm in numerical computation
• Deciding floating-point logic with abstract conflict driven clause learning
• Interval computation as deduction in chip
• Logic Based Program Synthesis and Transformation
• Termination of floating-point computations

This page was built for publication: On termination of logic programs with floating point computations

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