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

Active Bibliography

Specifying Trace Models With a Continuation Semantics – Erwan Jahier, Mireille Ducassé, Olivier Ridoux
7 Specifying Prolog Trace Models with a Continuation Semantics – Erwan Jahier, Mireille Ducassé, Olivier Ridoux - 2000
8 Generic Program Monitoring by Trace Analysis – Erwan Jahier, Mireille Ducassé - 2001
3 Collecting graphical abstract views of Mercury program executions – Erwan Jahier
14 Run time type information in Mercury – Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery - 1999
5 Practical Aspects for a Working Compile Time Garbage Collection System for Mercury – Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe - 2001
8 Compiling Mercury to high-level C code – Fergus Henderson, Zoltan Somogyi - 2001
6 Compiling Mercury to the .NET Common Language Runtime – Tyson Dowd, Fergus Henderson, Peter Ross
7 A Generic Approach to Monitor Program Executions – Erwan Jahier, Mireille Ducassé - 1999
Practical Aspects for a working Compile Time Garbage Collection System for Mercury – Gerda Janssens, Gerda Janssens, Maurice Bruynooghe, Maurice Bruynooghe, Nancy Mazur, Nancy Mazur, Nancy Mazur, Peter Ross, Peter Ross, Peter Ross - 2001
1 Expressive Type Systems for Logic Programming Languages – David Jeffery - 2002
12 Binding-Time Analysis by Constraint Solving - A modular and higher-order approach for Mercury – Wim Vanhoof - 2000
14 Accurate Garbage Collection in an Uncooperative Environment – Fergus Henderson - 2002
5 Practical declarative debugging of Mercury programs – Ian Douglas Maclarty - 2005
8 ViMer: A Visual Debugger for Mercury – M. Cameron, M. Garica de la Banda, K. Marriott, P. Moulder - 2003
9 A module based analysis for memory reuse in Mercury – Nancy Mazur, Gerda Janssens, Maurice Bruynooghe - 2000
4 Making Mercury Programs Tail Recursive – Peter Ross, David Overton, Zoltan Somogyi - 1999
3 Towards memory reuse for Mercury – Nancy Mazur, Gerda Janssens, Maurice Bruynooghe, Nancy Mazur, Gerda Janssens, Maurice Bruynooghe - 1999
7 Status of the Mercury system – Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage, Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte, Simon Taylor - 1996