Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Conditional Narrowing without Conditions Sergio Antoy

Summary: Conditional Narrowing without Conditions
Sergio Antoy
Department of Computer Science
Portland State University
P.O. Box 751, Portland, OR 97207, U.S.A.
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
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
§exibility of logic programming (computation of solutions for logic
variables) with ef£cient evaluation methods from functional pro-


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


Collections: Computer Technologies and Information Sciences