A Denotational Semantics for Needed Narrowing

by Michael Hanus, Salvador Lucas

Proc. of the 1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96), pp. 259-270, 1996
© Springer-Verlag
Revised and extended version

Needed narrowing is currently the best (lazy) narrowing strategy for functional logic programs. In order to automatically improve compilation, it is essential to rely on an adequate semantic framework. The denotational semantics of a programming language is its standard semantics and can be used as a formal basis to improve implementations. In this work we introduce a denotational semantics which is adequate to express needed narrowing.

Preprint (PDF) BibTeX-Entry