Specializing Interpreters using Offline Partial Deduction


(2003) Specializing Interpreters using Offline Partial Deduction

WarningThere is a more recent version of this item available.

Download

[img] PDF UNSPECIFIED
Download (463kB)
[img] Indexer Terms UNSPECIFIED
Download (12kB)

Description/Abstract

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