Distributed Programming in a Multi-Paradigm Declarative Language

Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expressions extended by a possibly non-deterministic binding of free variables occurring in expressions. Moreover, constraints can be executed concurrently which provides for concurrent computation threads that are synchronized on logical variables. In this paper, we extend Curry’s basic computational model by a few primitives to support distributed applications where a dynamically changing number of different program units must be coordinated. We develop these primitives as a special case of the existing basic model so that the new primitives interact smoothly with the existing features for search and concurrent computations. Moreover, programs with local concurrency can be easily transformed into distributed applications. This supports a simple development of distributed systems that are executable on local n...

• Type: Conference
• Year: 1999
• Where: PPDP
• Authors: Michael Hanus
• Keywords: Concurrent Computations, Curry’s Operational Semantics, Logical Variables, PPDP 1999, Programming Languages