Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Set Functions for Functional Logic Programming Sergio Antoy
 

Summary: Set Functions for Functional Logic Programming
Sergio Antoy
Computer Science Department
Portland State University
Portland, OR 97207, USA
antoy@cs.pdx.edu
Michael Hanus
Institute of Computer Science
Christian-Albrechts-University of Kiel
D-24098 Kiel, Germany
mh@informatik.uni-kiel.de
Abstract
We propose a novel approach to encapsulate non-deterministic
computations in functional logic programs. Our approach is based
on set functions that return the set of all the results of a correspond-
ing ordinary operation. A characteristic feature of our approach is
the complete separation between a usually-non-deterministic oper-
ation and its possibly-non-deterministic arguments. This separation
leads to the first provably order-independent approach to comput-
ing the set of values of non-deterministic expressions. The proof is

  

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

 

Collections: Computer Technologies and Information Sciences