Search the dblp DataBase

Publications of Author

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