Travelled to:1 × Japan
1 × Portugal
1 × USA
2 × Italy
Collaborated with:M.Leuschel D.Elphick J.P.Gallagher K.S.Henriksen M.Bruynooghe W.Vanhoof M.Varea M.Fontaine
Talks about:partial (4) prolog (3) evalu (3) specialis (2) offlin (2) self (2) use (2) interpret (1) techniqu (1) supervis (1)
Person: Stephen-John Craig
DBLP: Craig:Stephen=John
Contributed to:
2006
2006
2005
200420042004Wrote 6 papers:
- LOPSTR-2006-LeuschelCE #logic programming #online #partial evaluation #source code #using
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques (ML, SJC, DE), pp. 43–59.
- PEPM-2006-LeuschelEVCF #interface #web
- The Ecce and Logen partial evaluators and their web interfaces (ML, DE, MV, SJC, MF), pp. 88–94.
- PPDP-2005-CraigL #prolog #self
- Self-tuning resource aware specialisation for prolog (SJC, ML), pp. 23–34.
- FLOPS-2004-CraigL #effectiveness #named #prolog #self
- LIX: an Effective Self-applicable Partial Evaluator for Prolog (SJC, ML), pp. 85–99.
- LOPSTR-2004-CraigGLH #analysis #automation #prolog
- Fully Automatic Binding-Time Analysis for Prolog (SJC, JPG, ML, KSH), pp. 53–68.
- PDCL-2004-LeuschelCBV #deduction #using
- Specialising Interpreters Using Offline Partial Deduction (ML, SJC, MB, WV), pp. 340–375.