A debugging environment for functional programming in CENTAUR

Samuel Kamin 1
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We present a trace-based debugging environment for a lazy functional language. We argue that traces are a natural even inevitable approach to debugging of lazy languages because stop-and-examine techniques run up against the unpredictability of lazy evaluation. We give a formal definition of trace describe how the Centaur system was used to build the environment and show our system being used to debug a small program. The more general goal of this work is to demonstrate a "hypertextual" approach to trace-based debugging. Our argument is that using hypertext techniques overcomes one of the most serious problems traditionally associated with traces : information overload.
Type de document :
[Research Report] RR-1265, INRIA. 1990
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:53:31
Dernière modification le : samedi 27 janvier 2018 - 01:30:58
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:23:44



  • HAL Id : inria-00075294, version 1



Samuel Kamin. A debugging environment for functional programming in CENTAUR. [Research Report] RR-1265, INRIA. 1990. 〈inria-00075294〉



Consultations de la notice


Téléchargements de fichiers