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 FUNCT I ONAL PEARL
 

Summary: Under consideration for publication in J. Functional Programming 1
FUNCT I ONAL 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

 

Collections: Computer Technologies and Information Sciences