Inference of Termination Conditions for Numerical Loops in Prolog

DOI10.1007/3-540-45653-8_45zbMath1275.68051OpenAlexW1558066556MaRDI QIDQ2996199

Alexander Serebrenik, Danny De Schreye

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/133985

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Termination of floating-point computations ⋮ Non-termination analysis of logic programs with integer arithmetics

This page was built for publication: Inference of Termination Conditions for Numerical Loops in Prolog