Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Evaluation Strategies Functional Logic Programming

Summary: Evaluation Strategies
Functional Logic Programming
Sergio Antoy 1
Computer Science Department, Portland State University
P.O. Box 751, Portland, OR 97207, USA
Recent advances in the foundations and the implementations of functional logic
programming languages originate from far-reaching results on narrowing evaluation
strategies. Narrowing is a computation similar to rewriting which yields substitu-
tions in addition to normal forms. In functional logic programming, the classes of
rewrite systems to which narrowing is applied are, for the most part, subclasses
of the constructor-based, possibly conditional, rewrite systems. Many interesting
narrowing strategies, particularly for the smallest subclasses of the constructor-
based rewrite systems, are generalizations of well-known rewrite strategies. How-
ever, some strategies for larger non-confluents subclasses have been developed just
for functional logic computations. This paper discusses the elements that play a
relevant role in evaluation strategies for functional logic computations, describes
some important classes of rewrite systems that model functional logic programs,
shows examples of the differences in expressiveness provided by these classes, and


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


Collections: Computer Technologies and Information Sciences