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:15 - 4 self

Documents Related by Co-Citation

71 Understanding the control flow of Prolog programs – L Byrd - 1980
439 Algorithmic Program Debugging – E Y Shapiro - 1983
175 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
89 A Critique of Standard ML – Andrew W. Appel - 1992
30 An Automated Debugger for C – M ―Coca Ducassé - 1999
4 Annotated event traces for declarative debugging. Available from http://www.cs.mu.oz.au/mercury – Mark Brown, Zoltan Somogyi - 2003
7 An efficient bug location algorithm – D A Plaisted - 1984
4 Idempotent I/O for safe time travel – Zoltan Somogyi - 2003
36 Rational debugging in logic programming – L M Pereira - 1986
35 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
6 Generic Program Monitoring by Trace Analysis – Erwan Jahier, Mireille Ducassé - 2001
12 Opium: An extendable trace analyser for Prolog. The Journal of Logic programming – M Ducassé - 1999
6 A propagation tracer for Gnu-Prolog: from formal definition to efficient implementation – Ludovic Langevine, Pierre Deransart - 2003
15 Reverse Execution of Java Bytecode – Jonathan J. Cook - 2002
5 Using impurity to create declarative interfaces in Mercury – Tyson Dowd, Peter Schachte, Fergus Henderson, Zoltan Somogyi - 2000
74 Declarative error diagnosis – J W Lloyd - 1987
25 Why No One Uses Functional Languages – Philip Wadler - 1998
12 Complete and Partial Redex Trails of Functional Computations – Jan Sparud, Colin Runciman - 1997
29 A Backward Slicing Algorithm for Prolog – St'ephane Schoenig - 1996