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
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