Specializing Interpreters using Offline Partial Deduction

Leuschel, Michael, Craig, Stephen, Bruynooghe, Maurice and Vanhoof, Wim (2003) Specializing Interpreters using Offline Partial Deduction.

WarningThere is a more recent version of this item available.


[img] PDF
Download (453Kb)


We present the latest version of the {\sc 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 {\sc logen} system can be a good basis for generating compilers for high-level languages.

Item Type: Monograph (Technical Report)
Keywords: Partial Evaluation, Logic Programming, Partial Deduction, Interpreters, Offline Specialization, Self-application
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 258567
Accepted Date and Publication Date:
November 2003Published
Date Deposited: 17 Nov 2003
Last Modified: 27 Mar 2014 20:01
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/258567

Available Versions of this Item

Actions (login required)

View Item View Item

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