Logic Programming Environments: Dynamic Program Analysis and Debugging

Mireille Ducassé 1 Jacques Noyé 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Programming environments are essential for the acceptance of programming languages. This survey emphasizes that program analysis, both static and dynamic, is the central issue of programming environments. Because their clean semantics makes powerful analysis possible, logic programming languages have an indisputable asset in the long term. This survey is focused on logic program analysis and debugging. The large number of references provided show that the field, though maybe scattered, is active. A unifying framework is given which separates environment tools into extraction, analysis, and visualization. It facilitates the analysis of existing tools and should give some guide lines to develop new ones. Achievements in logic programming are listed; some techniques developed for other languages are pointed out, and some trends for further research are drawn. Among the main achievements are algorithmic debugging, tracing for sequential Prolog, and abstract interpretation. The main missing techniques are slicing, test case generation, and program mutation. The perspectives we see are integration, evaluation and, above all, automated static and dynamic analysis
Type de document :
Rapport
[Research Report] RR-2618, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00074067
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:25:21
Dernière modification le : mercredi 11 avril 2018 - 02:00:52
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:50:54

Fichiers

Identifiants

  • HAL Id : inria-00074067, version 1

Citation

Mireille Ducassé, Jacques Noyé. Logic Programming Environments: Dynamic Program Analysis and Debugging. [Research Report] RR-2618, INRIA. 1995. 〈inria-00074067〉

Partager

Métriques

Consultations de la notice

226

Téléchargements de fichiers

212