@INPROCEEDINGS{HanusLucas96AGP,
author = "Hanus, M. and Lucas, S.",
title = "A Denotational Semantics for Needed Narrowing",
year = "1996",
booktitle = "Proc.\ of the 1996 Joint Conference on Declarative Programming
(APPIA-GULP-PRODE'96)",
pages = "259-270",
abstract = {
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.
}
}