| 2006 |
|---|
| 8 | EE | Michael Leuschel,
Stephen-John Craig,
Daniel Elphick:
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.
LOPSTR 2006: 43-59 |
| 7 | EE | Michael Leuschel,
Daniel Elphick,
Mauricio Varea,
Stephen-John Craig,
Marc Fontaine:
The Ecce and Logen partial evaluators and their web interfaces.
PEPM 2006: 88-94 |
| 2005 |
|---|
| 6 | EE | Stephen-John Craig,
Michael Leuschel:
Self-tuning resource aware specialisation for prolog.
PPDP 2005: 23-34 |
| 2004 |
|---|
| 5 | EE | Stephen-John Craig,
Michael Leuschel:
LIX: an Effective Self-applicable Partial Evaluator for Prolog.
FLOPS 2004: 85-99 |
| 4 | EE | Stephen-John Craig,
John P. Gallagher,
Michael Leuschel,
Kim S. Henriksen:
Fully Automatic Binding-Time Analysis for Prolog.
LOPSTR 2004: 53-68 |
| 3 | EE | Michael Leuschel,
Stephen-John Craig,
Maurice Bruynooghe,
Wim Vanhoof:
Specialising Interpreters Using Offline Partial Deduction.
Program Development in Computational Logic 2004: 340-375 |
| 2003 |
|---|
| 2 | EE | Stephen-John Craig,
Michael Leuschel:
A Compiler Generator for Constraint Logic Programs.
Ershov Memorial Conference 2003: 148-161 |
| 1 | EE | Juan Carlos Augusto,
Michael J. Butler,
Carla Ferreira,
Stephen-John Craig:
Using SPIN and STeP to Verify Business Processes Specifications.
Ershov Memorial Conference 2003: 207-213 |
