Towards a Declarative Language for Parallel and Concurrent Programming (1995)
| Venue: | In IFL'95, Bastad |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Breitinger95towardsa,
author = {Silvia Breitinger and Rita Loogen and Yolanda Ortega-Mallén},
title = {Towards a Declarative Language for Parallel and Concurrent Programming},
booktitle = {In IFL'95, Bastad},
year = {1995},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We define a new language `EDEN' by extending a functional language by constructs for the explicit specification of dynamic process systems. Following Shapiro [Sha89] we distinguish transformational and reactive systems. Simple annotationlike notions for the explicit definition of processes are sufficient to describe the class of transformational systems. For the definition of reactive systems extra-functional constructs must be introduced. We show that a concept similar to the "incomplete message principle" from concurrent logic programming is a vital and powerful mechanism for the treatment of dynamically specified communication channels. Timedependencies are handled by special nondeterministic processes. 1 Introduction Most parallel programming languages used nowadays are based on the imperative programming paradigm. In such languages synchronization of and communication between processes must be handled by the programmer on a very low level of abstraction and the verification of pr...
