The implementation technology of the Mercury debugger (1999)

Cached

Download Links

by Zoltan Somogyi , Fergus Henderson
Venue:In Proceedings of the Tenth Workshop on Logic Programming Environments
Citations:16 - 4 self

Documents Related by Co-Citation

77 Understanding the control flow of Prolog programs – L Byrd - 1980
474 Algorithmic Program Debugging – E Shapiro - 1983
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
39 Coca: An automated Debugger for C – M Ducassé - 1999
93 A Critique of Standard ML – Andrew W. Appel - 1992
8 Generic Program Monitoring by Trace Analysis – Erwan Jahier, Mireille Ducassé - 2001
7 A propagation tracer for Gnu-Prolog: from formal definition to efficient implementation – Ludovic Langevine, Pierre Deransart - 2003
7 An efficient bug location algorithm – D A Plaisted - 1984
4 Annotated event traces for declarative debugging. Available from http://www.cs.mu.oz.au/mercury – Mark Brown, Zoltan Somogyi - 2003
4 Idempotent I/O for safe time travel – Zoltan Somogyi - 2003
40 Rational Debugging in Logic Programming – L M Pereira - 1986
19 OPIUM: An Extendable Trace Analyser for PROLOG – Mireille Ducasse - 1997
36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
14 Opium: An extendable trace analyser for Prolog. The Journal of Logic programming – M Ducassé - 1999
5 Using impurity to create declarative interfaces in Mercury – Tyson Dowd, Peter Schachte, Fergus Henderson, Zoltan Somogyi - 2000
16 Reverse Execution of Java Bytecode – Jonathan J. Cook - 2002
75 Declarative error diagnosis – J W Lloyd - 1987
13 Complete and Partial Redex Trails of Functional Computations – Jan Sparud, Colin Runciman - 1997
31 A Backward Slicing Algorithm for Prolog – Stéphane Schoenig, Mireille Ducassé - 1996