zbMATH — the first resource for mathematics

Improving offline narrowing-driven partial evaluation using size-change graphs. (English) Zbl 1196.68037
Puebla, Germán (ed.), Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12–14, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71409-5/pbk). Lecture Notes in Computer Science 4407, 60-76 (2007).
Summary: An offline approach to narrowing-driven partial evaluation (a partial evaluation scheme for first-order functional and functional logic programs) has recently been introduced. In this approach, program annotations (i.e., the expressions that should be generalised at partial evaluation time to ensure termination) are based on a simple syntactic characterisation of quasi-terminating programs. This work extends the previous offline scheme by introducing a new annotation strategy which is based on a combination of size-change graphs and binding-time analysis. Preliminary experiments point out that the number of program annotations is significantly reduced compared to the previous approach, which means that faster residual programs are often produced.
For the entire collection see [Zbl 1116.68007].

68N18 Functional programming and lambda calculus
68N17 Logic programming
Full Text: DOI