|
|
Specifying Trace Models With a Continuation Semantics
– Erwan Jahier, Mireille Ducassé, Olivier Ridoux
|
|
4
|
Specifying Prolog Trace Models with a Continuation Semantics
– Erwan Jahier, Mireille Ducassé, Olivier Ridoux
- 2000
|
|
1
|
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
|
|
4
|
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
– Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
- 2001
|
|
7
|
Compiling Mercury to high-level C code
– Fergus Henderson, Zoltan Somogyi
- 2001
|
|
5
|
Compiling Mercury to the .NET Common Language Runtime
– Tyson Dowd, Fergus Henderson, Peter Ross
|
|
6
|
A Generic Approach to Monitor Program Executions
– Erwan Jahier, Mireille Ducassé
- 1999
|
|
6
|
Generic Program Monitoring by Trace Analysis
– Erwan Jahier, Mireille Ducassé
- 2001
|
|
|
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
|
|
13
|
Accurate Garbage Collection in an Uncooperative Environment
– Fergus Henderson
- 2002
|
|
12
|
Binding-Time Analysis by Constraint Solving - A modular and higher-order approach for Mercury
– Wim Vanhoof
- 2000
|
|
4
|
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
|
|
4
|
Making Mercury Programs Tail Recursive
– Peter Ross, David Overton, Zoltan Somogyi
- 1999
|
|
2
|
Towards memory reuse in Mercury
– Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
- 1999
|
|
9
|
A module based analysis for memory reuse in Mercury
– Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
- 2000
|
|
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
|