Summary: Conditional Narrowing without Conditions #
Sergio Antoy
Department of Computer Science
Portland State University
P.O. Box 751, Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
Bernd Brassel Michael Hanus
Institut f ˜
ur Informatik
Christian­Albrechts­Universit ˜
at Kiel
Olshausenstr. 40, D­24098 Kiel, Germany
Phone: +49­431/880­7271 / Fax: +49­431/880­7613
{bbr,mh}@informatik.uni­kiel.de
ABSTRACT
We present a new evaluation strategy for functional logic programs
described by weakly orthogonal conditional term rewriting sys­
tems. Our notion of weakly orthogonal conditional rewrite system
extends a notion of Bergstra and Klop and covers a large part of pro­
grams de£ned by conditional equations. Our strategy combines the

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

Collections: Computer Technologies and Information Sciences