cTI : un outil pour l’inférence de conditions optimales de terminaison pour Prolog
Résumé
Termination is a crucial aspect of program termination. This paper describes our tool named cTI for inferring sufficient termination conditions from any Prolog program text. We adopt a bottom-up approach where we try t characterize, for each relation defined in a program, the set of universally left-terminating queries. We present the architecture of our implementation. We benchmark cTI against sixty programs which sizes range from a few to several hundred clauses. At last, we discuss our current work on checking the optimality of terminating conditions.
La terminaison est un aspect crucial de la vérification de programmes. Cet article propose un outil pour inférer des conditions suffisantes de terminaison à partir du texte de tout programme Prolog. Nous adoptons pour cela une approche ascendante du problème pour essayer de caractériser, pour chaque relation définie dans le programme, l’ensemble des classes de requêtes qui terminent universellement pour la règle de sélection Prolog. Nous décrivons l’architecture de notre implantation nommée cTI. Nous évaluons notre système sur une soixantaine de programmes dont les tailles varient de quelques à plusieurs centaines de clauses. Enfin, nous présentons nos travaux en cours concernant la détection de l’optimalité des conditions de terminaison.
Fichier principal
CTI_un_outil_pour_inference_conditions_optimales_terminaison_prolog.pdf (165.05 Ko)
Télécharger le fichier
| Origine | Accord explicite pour ce dépôt |
|---|
Loading...