The implementation technology of the Mercury debugger (1999)
| Venue: | In Proceedings of the Tenth Workshop on Logic Programming Environments |
| Citations: | 15 - 4 self |
BibTeX
@INPROCEEDINGS{Somogyi99theimplementation,
author = {Zoltan Somogyi and Fergus Henderson},
title = {The implementation technology of the Mercury debugger},
booktitle = {In Proceedings of the Tenth Workshop on Logic Programming Environments},
year = {1999},
pages = {35--49}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Every programming language needs a debugger. Mercury now has three debuggers: a simple procedural debugger similar to the tracing systems of Prolog implementations, a prototype declarative debugger, and a debugger based on the idea of automatic trace analysis. In this paper, we present the shared infrastructure that underlies the three debuggers, and describe the implementation of the procedural debugger. We give our reasons for each of our main design decisions, and show how several of these decisions are rooted in our experience with the debugging of large programs working with large data structures.
Citations
| 83 | Garbage collection in an uncooperative environment. Software—Practice and experience - Boehm, Weiser - 1988 |
| 54 | The execution algorithm of Mercury, an ecient purely declarative logic programming language - Somogyi, Henderson, et al. - 1996 |
| 27 | The Mercury language reference manual - Henderson, Conway, et al. - 1996 |
| 17 | OPIUM: An extendable trace analyser for Prolog - Ducassé - 1999 |
| 14 | Run time type information in Mercury - Dowd, Somogyi, et al. - 1999 |
| 12 | A machine-independent debugger - Hanson, Raghavachari - 1996 |
| 9 | Tracing Prolog Programs by Source Instrumentation is Efficient Enough - Ducassé, Noyé |
| 7 | Understanding the control of Prolog programs - Byrd - 1980 |
| 6 | A Generic Approach to Monitor Program Executions - Jahier, Ducass'e - 1999 |
| 1 | An evaluation tree for declarative diagnosis in Mercury - Brown, Somogyi - 1999 |
| 1 | Opium-M 0.1 user and reference manuals - Jahier, Ducasse - 1999 |
