cTI : un outil pour l’inférence de conditions optimales de terminaison pour Prolog - Université de La Réunion Access content directly
Conference Papers Year : 2001

cTI : un outil pour l’inférence de conditions optimales de terminaison pour Prolog

Abstract

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
Vignette du fichier
CTI_un_outil_pour_inference_conditions_optimales_terminaison_prolog.pdf (165.05 Ko) Télécharger le fichier
Origin Explicit agreement for this submission
Loading...

Dates and versions

hal-01921705 , version 1 (14-11-2018)

Identifiers

  • HAL Id : hal-01921705 , version 1

Cite

Frédéric Mesnard, Ulrich Neumerkel, Etienne Payet. cTI : un outil pour l’inférence de conditions optimales de terminaison pour Prolog. 10eme Journées francophones de programmation logique et programmation par contraintes ( JFPLC’2001), Association Française pour la Programmation en Logique et la programmation par Contraintes (AFPLC), Apr 2001, Paris, France. pp.271-286. ⟨hal-01921705⟩
46 View
39 Download

Share

Gmail Mastodon Facebook X LinkedIn More