The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stephen-John Craig" ( http://dblp.L3S.de/Authors/Stephen-John_Craig )

  Author page on DBLP  Author page in RDF  Community of Stephen-John Craig in ASPL-2

Publication years (Num. hits)
2003 (2) 2004 (3) 2005 (2) 2006 (2)
Publication types (Num. hits)
incollection(1) inproceedings(7) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 9 keywords

Results
Found 10 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine The Ecce and Logen partial evaluators and their web interfaces. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
1Michael Leuschel, Stephen-John Craig, Daniel Elphick Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stephen-John Craig, Michael Leuschel Self-tuning resource aware specialisation for prolog. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stephen-John Craig Practicable Prolog specialisation. Search on Bibsonomy 2005   RDF
1Stephen-John Craig, Michael Leuschel LIX: an Effective Self-applicable Partial Evaluator for Prolog. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
1Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen Fully Automatic Binding-Time Analysis for Prolog. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof Specialising Interpreters Using Offline Partial Deduction. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Juan Carlos Augusto, Michael J. Butler, Carla Ferreira 0001, Stephen-John Craig Using SPIN and STeP to Verify Business Processes Specifications. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Stephen-John Craig, Michael Leuschel A Compiler Generator for Constraint Logic Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license