×

Specialising interpreters using offline partial deduction. (English) Zbl 1080.68553

Bruynooghe, Maurice (ed.) et al., Program development in computational logic. A decade of research advances in logic-based program development. Berlin: Springer (ISBN 3-540-22152-2/pbk). Lecture Notes in Computer Science 3049, 340-375 (2004).
Summary: 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 non-trivial 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.
For the entire collection see [Zbl 1051.68004].

MSC:

68N17 Logic programming

Software:

ECCE; ProB; LOGEN
PDFBibTeX XMLCite
Full Text: DOI