Stephen-John Craig

According to our database, Stephen-John Craig authored at least 9 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

The Ecce and Logen partial evaluators and their web interfaces.

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.

Michael Leuschel, Stephen-John Craig, Daniel Elphick

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005

Practicable Prolog specialisation.

Stephen-John Craig

PhD thesis, 2005

Self-tuning resource aware specialisation for prolog.

Stephen-John Craig, Michael Leuschel

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

Specialising Interpreters Using Offline Partial Deduction.

Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Fully Automatic Binding-Time Analysis for Prolog.

Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

LIX: an Effective Self-applicable Partial Evaluator for Prolog.

Stephen-John Craig, Michael Leuschel

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

A Compiler Generator for Constraint Logic Programs.

Stephen-John Craig, Michael Leuschel

Proceedings of the Perspectives of Systems Informatics, 2003

Using SPIN and STeP to Verify Business Processes Specifications.

Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig

Proceedings of the Perspectives of Systems Informatics, 2003