Stephen-John Craig

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine
The Ecce and Logen partial evaluators and their web interfaces. PEPM (2006)
Michael Leuschel, Stephen-John Craig, Daniel Elphick
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. LOPSTR (2006)
Stephen-John Craig, Michael Leuschel
Self-tuning resource aware specialisation for prolog. PPDP (2005)
Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen
Fully Automatic Binding-Time Analysis for Prolog. LOPSTR (2004)
Stephen-John Craig, Michael Leuschel
LIX: an Effective Self-applicable Partial Evaluator for Prolog. FLOPS (2004)
Stephen-John Craig, Michael Leuschel
A Compiler Generator for Constraint Logic Programs. Ershov Memorial Conference (2003)
Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig
Using SPIN and STeP to Verify Business Processes Specifications. Ershov Memorial Conference (2003)