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