Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Demandness in Rewriting and Narrowing Sergio Antoy 1# and Salvador Lucas 2##
 

Summary: Demandness in Rewriting and Narrowing
Sergio Antoy 1# and Salvador Lucas 2##
1 Computer Science Department
Portland State University
Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
2 DSIC
Universidad Polit’ecnica de Valencia
Spain
slucas@dsic.upv.es
11th Int. Workshop on Functional and (constraint) Logic Programming (WFLP'02)
Grado, Italy --- June 20--22, 2002.
Research Report UDMI/18/2002/RR, pages 35--43
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
of view of the information taken into account by a strategy to compute
a step. The notion of demandness provides a suitable framework for pre­
senting and comparing well­known strategies. We find the existence of

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University

 

Collections: Computer Technologies and Information Sciences