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. |
![[file icon]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) | PDF 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) |
|---|---|
| Uncontrolled Keywords: | Partial Evaluation, Logic Programming, Partial Deduction, Interpreters, Offline Specialization, Self-application |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| ePrint ID: | 258567 |
| Deposited On: | 17 Nov 2003 |
| Last Modified: | 02 Mar 2012 12:20 |
| Further Information: | Google Scholar |
Available Versions of this Item
- Specializing Interpreters using Offline Partial Deduction. (deposited 17 Nov 2003) [Currently Displayed]
Associated Staff Only: edit my ePrint
