Specialising interpreters using offline partial deduction (2004)
Cached
Download Links
- [eprints.ecs.soton.ac.uk]
- [www.cs.kuleuven.be]
- DBLP
Other Repositories/Bibliography
| Venue: | In Program Development in Computational Logic |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Leuschel04specialisinginterpreters,
author = {Michael Leuschel and Stephen J. Craig and Maurice Bruynooghe and Wim Vanhoof},
title = {Specialising interpreters using offline partial deduction},
booktitle = {In Program Development in Computational Logic},
year = {2004},
pages = {340--375},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 nontrivial 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. 1
