Inference of termination conditions for numerical loops in Prolog

DOI10.1017/S1471068404002042zbMath1088.68029OpenAlexW2397971081MaRDI QIDQ4669655

Danny De Schreye, Alexander Serebrenik

Publication date: 15 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068404002042

zbMATH Keywords

logic programsnumerical computationstermination analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Termination of floating-point computations ⋮ Terminating Evaluation of Logic Programs with Finite Three-Valued Models ⋮ Proving Termination of Integer Term Rewriting

This page was built for publication: Inference of termination conditions for numerical loops in Prolog