The University of Southampton
University of Southampton Institutional Repository

Specializing Interpreters using Offline Partial Deduction

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
341-376
Springer Verlag, LNCS 3049
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Craig, Stephen
57faf371-ad85-41b5-96e4-4c52eddecb23
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Vanhoof, Wim
b5c3bd66-143d-4301-95fa-afdc35e03539
Bruynooghe, Maurice
Lau, Kung-Kiu
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Craig, Stephen
57faf371-ad85-41b5-96e4-4c52eddecb23
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Vanhoof, Wim
b5c3bd66-143d-4301-95fa-afdc35e03539
Bruynooghe, Maurice
Lau, Kung-Kiu

Leuschel, Michael, Craig, Stephen, 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. Springer Verlag, LNCS 3049, pp. 341-376.

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 - Other
Download (423kB)

More information

Published date: November 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
PURE UUID: e7c26353-7b6c-4d81-9fcc-2eedbd212ce9

Catalogue record

Date deposited: 28 Jun 2004
Last modified: 23 Sep 2020 16:33

Export record

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×