ToC

2006

  • Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen Craig, Marc Fontaine
    The Ecce and Logen Partial Evaluators and their Web Interfaces.
    In Proceedings PEPM 06, John Hatcliff and Frank Tip, IBM Press, 88--94, 2006.
  • Michael Leuschel, Stephen Craig, Daniel Elphick
    Supervising Offline Partial Evaluation of Logic Programs using Online Techniques.
    In Proceedings LOPSTR'06, German Puebla, Lecture Notes in Computer Science, 4407, Springer-Verlag, 43--59, 2006.

2005

  • Michael Leuschel, Stephen Craig
    A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation.
    In Pre-Proceedings of LOPSTR'05, Pat Hill, 2005.
  • Stephen Craig, Michael Leuschel
    Self-Tuning Resource Aware Specialisation for Prolog.
    In Proceedings PPDP'2005, ACM Press, 23--34, 2005.

2004

  • Stephen Craig, John Gallagher, Michael Leuschel, Kim S. Henriksen
    Fully Automatic Binding Time Analysis for Prolog.
    In LOPSTR, Sandro Etalle, Lecture Notes in Computer Science, 3573, Springer-Verlag, 53--68, 2004.
  • Stephen Craig, Michael Leuschel
    Lix: An Effective Self-applicable Partial Evaluator for Prolog.
    In FLOPS, Yukiyoshi Kameyama and Peter J. Stuckey, Springer-Verlag, 85--99, 2004.
  • Michael Leuschel, Stephen Craig, Maurice Bruynooghe, Wim Vanhoof
    Specializing Interpreters using Offline Partial Deduction.
    In Program Development in Computational Logic, Maurice Bruynooghe and Kung-Kiu Lau, Lecture Notes in Computer Science, 3049, Springer-Verlag, 341--376, 2004.

2003

  • Stephen Craig, Michael Leuschel
    A Compiler Generator for Constraint Logic Programs.
    In Ershov Memorial Conference, M. Broy and A. Zamulin, Lecture Notes in Computer Science, 2890, Springer-Verlag, 2003.
  • Michael Leuschel, Stephen Craig, Maurice Bruynooghe, Wim Vanhoof
    Specializing Interpreters using Offline Partial Deduction.
    Technical Report, ECS, University of Southampton, DSSE-TR-2003-5, 2003.