Specializing Interpreters using Offline Partial Deduction


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, 341-376.

This is the latest version of this item.

Download

[img] PDF
Download (413Kb)

Description/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.

Item Type: Book Section
Keywords: Partial Evaluation, Logic Programming, Partial Deduction, Interpreters, Offline Specialization, Self-application
Divisions: Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID: 259489
Date Deposited: 28 Jun 2004
Last Modified: 02 Mar 2012 12:19
Contributors: Leuschel, Michael (Author)
Craig, Stephen (Author)
Bruynooghe, Maurice (Author)
Vanhoof, Wim (Author)
Bruynooghe, Maurice (Editor)
Lau, Kung-Kiu (Editor)
Date: November 2004
Status: Published
Publisher: Springer Verlag, LNCS 3049
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/259489

Available Versions of this Item

Actions (login required)

View Item View Item
EPrints Logo
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