Specializing Interpreters using Offline Partial Deduction
Leuschel, Michael, Craig, Stephen, Bruynooghe, Maurice and Vanhoof, Wim (2003) Specializing Interpreters using Offline Partial Deduction.
 | There is a more recent version of this item available. |
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (453Kb) |
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 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 258567 |
| Date Deposited: | 17 Nov 2003 |
| Last Modified: | 02 Mar 2012 12:20 |
| Contributors: | Leuschel, Michael (Author) Craig, Stephen (Author) Bruynooghe, Maurice (Author) Vanhoof, Wim (Author) |
| Date: | November 2003 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/258567 |
Available Versions of this Item
- Specializing Interpreters using Offline Partial Deduction. (deposited 17 Nov 2003) [Currently Displayed]
Actions (login required)
 |
View Item |
