Inference of termination conditions for numerical loops in Prolog
| dc.creator | Serebrenik, Alexander | |
| dc.creator | De Schreye, Danny | |
| dc.date | 2001-10-17 | |
| dc.date | 2003-07-10 | |
| dc.date.accessioned | 2026-07-07T03:17:48Z | |
| dc.date.available | 2026-07-07T03:17:48Z | |
| dc.description | We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the integers. We present a technique that allows overcoming these difficulties. Our approach is based on transforming a program in a way that allows integrating and extending techniques originally developed for analysis of numerical computations in the framework of query-mapping pairs with the well-known framework of acceptability. Such an integration not only contributes to the understanding of termination behaviour of numerical computations, but also allows us to perform a correct analysis of such computations automatically, by extending previous work on a constraint-based approach to termination. Finally, we discuss possible extensions of the technique, including incorporating general term orderings. | |
| dc.description | To appear in Theory and Practice of Logic Programming. To appear in Theory and Practice of Logic Programming | |
| dc.identifier | https://arxiv.org/abs/cs/0110034 | |
| dc.identifier | http://arxiv.org/abs/cs/0110034 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/30860 | |
| dc.subject | Programming Languages | |
| dc.subject | Logic in Computer Science | |
| dc.subject | D.1.6; D.2.4 | |
| dc.title | Inference of termination conditions for numerical loops in Prolog | |
| dc.type | text |