Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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.
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
§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