Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL
 

Summary: Under consideration for publication in J. Functional Programming 1
FUNCTIONAL PEARL
Concurrent Distinct Choices
Sergio Antoy
Portland State University
Computer Science Department
P.O. Box 751, Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
Michael Hanus
Christian-Albrechts-Universit¨at Kiel
Institut f¨ur Informatik
Olshausenstr. 40, D-24098 Kiel, Germany
mh@informatik.uni-kiel.de
Abstract
An injective finite mapping is an abstraction common to many programs. We describe
the design of an injective finite mapping and its implementation in Curry, a functional
logic language. Curry supports the concurrent asynchronous execution of distinct portions
of a program. This condition prevents passing from one portion to another a structure
containing a partially constructed mapping to ensure that a new choice does not violate
the injectivity condition. We present some motivating problems and we show fragments

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University
Hanus, Michael - Institut für Informatik, Christian-Albrechts-Universität Kiel

 

Collections: Computer Technologies and Information Sciences