Summary: Demandness in Rewriting and Narrowing
and Salvador Lucas2
Computer Science Department
Portland State University
Portland, OR 97207, U.S.A.
Universidad Polit´ecnica de Valencia
11th Int. Workshop on Functional and (constraint) Logic Programming (WFLP'02)
Grado, Italy -- June 2022, 2002.
Research Report UDMI/18/2002/RR, pages 3543
Abstract. The traditional investigation of rewriting and narrowing
strategies aims at establishing fundamental properties, such as sound-
ness, completeness and/or optimality, of a strategy. In this work, we
analyze and compare rewriting and narrowing strategies from the point