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