Eden - Language Definition and Operational Semantics (1996)
| Citations: | 16 - 12 self |
BibTeX
@MISC{Breitinger96eden-,
author = {Silvia Breitinger and Rita Loogen and Yolanda Ortega-Mallén and Ricardo Peña and Reihe Informatik},
title = {Eden - Language Definition and Operational Semantics},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Eden is a declarative language for parallel and concurrent programming which is defined as an extension of the lazy functional programming language Haskell. It offers constructs for the explicit specification of processes and supports dynamically evolving process systems. Communication is stream-based. Eden can be used to program both transformational and reactive systems. It is tailored for distributed memory systems and consequently does not rely on any shared structures. Nevertheless it can be implemented on shared memory systems equally well. Supported by the DAAD (Deutscher Akademischer Austauschdienst) and the Spanish Ministry of Education and Science in the context of the German-Spanish Acci'on Integrada n.142B. Contents 1 Introduction 1 I Language Definition 2 2 Process Systems 2 2.1 Process definition by process abstraction . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Process creation by process instantiation . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Co...
