Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
14th International Conference on Logic Programming (ICLP'94) Leuven, Belgium, July 1997, MIT Press, pages 138{152.
 

Summary: 14th International Conference on Logic Programming (ICLP'94)
Leuven, Belgium, July 1997, MIT Press, pages 138{152.
Parallel Evaluation Strategies
for Functional Logic Languages
Sergio Antoy
Portland State University, Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
Rachid Echahed
IMAG-LSR, CNRS, BP 53, F-38041 Grenoble, France
echahed@imag.fr
Michael Hanus
RWTH Aachen, Informatik II, D-52056 Aachen, Germany
hanus@informatik.rwth-aachen.de
Abstract
We introduce novel, sound, complete, and locally optimal evaluation strate-
gies for functional logic programming languages. Our strategies combine, in
a non-trivial way, two landmark techniques in this area: the computation
of uni ers performed by needed narrowing in inductively sequential rewrite
systems and the simultaneous reduction of a necessary set of redexes per-
formed by rewriting in weakly orthogonal, constructor-based rewrite systems.

  

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

 

Collections: Computer Technologies and Information Sciences