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

Summary: 14th International Conference on Logic Programming (ICLP'94)
Leuven, Belgium, July 1997, MIT Press, pages 138152.
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 unifiers 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