Specializing interpreters using offline partial deduction
Specializing interpreters using offline partial deduction
We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones-optimality in a systematic way for several interpreters. Finally, we present and specialise a non-trivial interpreter for a small functional programming language. Experimental results are also presented, highlighting that the Logen system can be a good basis for generating compilers for high-level languages.
Partial Evaluation, Logic Programming, Partial Deduction, Interpreters, Offline Specialization, Self-application
340-375
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Craig, Stephen J.
57faf371-ad85-41b5-96e4-4c52eddecb23
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Vanhoof, Wim
b5c3bd66-143d-4301-95fa-afdc35e03539
17 June 2004
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Craig, Stephen J.
57faf371-ad85-41b5-96e4-4c52eddecb23
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Vanhoof, Wim
b5c3bd66-143d-4301-95fa-afdc35e03539
Leuschel, Michael, Craig, Stephen J., Bruynooghe, Maurice and Vanhoof, Wim
(2004)
Specializing interpreters using offline partial deduction.
In,
Bruynooghe, Maurice and Lau, Kung-Kiu
(eds.)
Program Development in Computational Logic.
(Lecture Notes in Computer Science)
1 ed.
Springer Berlin, .
(doi:10.1007/978-3-540-25951-0_11).
Record type:
Book Section
Abstract
We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones-optimality in a systematic way for several interpreters. Finally, we present and specialise a non-trivial interpreter for a small functional programming language. Experimental results are also presented, highlighting that the Logen system can be a good basis for generating compilers for high-level languages.
Text
leuschel.pdf
- Version of Record
Restricted to Repository staff only
More information
Published date: 17 June 2004
Keywords:
Partial Evaluation, Logic Programming, Partial Deduction, Interpreters, Offline Specialization, Self-application
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 259489
URI: http://eprints.soton.ac.uk/id/eprint/259489
ISSN: 0302-9743
PURE UUID: e7c26353-7b6c-4d81-9fcc-2eedbd212ce9
Catalogue record
Date deposited: 28 Jun 2004
Last modified: 14 Mar 2024 06:24
Export record
Altmetrics
Contributors
Author:
Michael Leuschel
Author:
Stephen J. Craig
Author:
Maurice Bruynooghe
Author:
Wim Vanhoof
Editor:
Maurice Bruynooghe
Editor:
Kung-Kiu Lau
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics