DMCA
Distributed Programming in a Multi-Paradigm Declarative Language (1702)
Cached
Download Links
| Venue: | In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP’99 |
| Citations: | 42 - 21 self |
BibTeX
@INPROCEEDINGS{Hanus02distributedprogramming,
author = {Michael Hanus},
title = {Distributed Programming in a Multi-Paradigm Declarative Language},
booktitle = {In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP’99},
year = {1702},
pages = {376--395},
publisher = {Springer LNCS}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. 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 networks as well as on the Internet. In particular, sending partially instantiated messages containing logical variables is quite useful to implement reply messages. We demonstrate the power of these primitives by various programming examples. 1
Keyphrases
multi-paradigm declarative language logical variable distributed application reply message basic computational model concurrent computation lazy reduction concurrent programming paradigm local concurrency basic model new primitive non-deterministic binding concurrent computation thread operational semantics local network free variable distributed system different program unit special case simple development
