Michael Leuschel

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Stephen-John Craig

> Home > Persons > Michael Leuschel

Publications

2006
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LeuschelCE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LeuschelCE06
Michael Leuschel, Stephen-John Craig, Daniel Elphick:
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. LOPSTR 2006: 43-59
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LeuschelEVCF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LeuschelEVCF06
Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine:
The Ecce and Logen partial evaluators and their web interfaces. PEPM 2006: 88-94
2005
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CraigL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CraigL05
Stephen-John Craig, Michael Leuschel:
Self-tuning resource aware specialisation for prolog. PPDP 2005: 23-34
2004
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/CraigL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/CraigL04
Stephen-John Craig, Michael Leuschel:
LIX: an Effective Self-applicable Partial Evaluator for Prolog. FLOPS 2004: 85-99
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CraigGLH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CraigGLH04
Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen:
Fully Automatic Binding-Time Analysis for Prolog. LOPSTR 2004: 53-68
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LeuschelCBV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LeuschelCBV04
Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof:
Specialising Interpreters Using Offline Partial Deduction. Program Development in Computational Logic 2004: 340-375
2003
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/CraigL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/CraigL03
Stephen-John Craig, Michael Leuschel:
A Compiler Generator for Constraint Logic Programs. Ershov Memorial Conference 2003: 148-161

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.