Title: Specialising interpreters using offline partial deduction
Other Titles: Program Development in Computational Logic
Authors: Leuschel, Michael ×
Craig, Stephen J
Bruynooghe, Maurice
Vanhoof, Wim #
Issue Date: 2004
Publisher: Springer
Series Title: Lecture notes in computer science vol:3049 pages:340-375
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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
41332.pdf Published 413KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science