Publications of Franz Puntigam (Punt94b)
Type Specialization and Coordination.
In Proceedings of the Workshop on Coordination Models and Languages for Parallelism and Distribution,
Bologna, Italy, July 1994.
Declarative models and language concepts for the coordination in parallel
and distributed systems attract increasing attention because of their
simplicity and expressiveness. In this paper, type specialization is
proposed as a declarative, object-oriented programming and coordination
model. A simple execution mechanism repeatedly specializes types of
entities (variables) and thereby collects knowledge about the objects
represented by these entities. Concurrently running specialization processes
communicate through logically shared entities and by writing specialization
requests (which create further processes) to a shared black-board.
The entities' specialization degrees determine if and when a specialization
request is executable atomically. Coordination is usually implicit in the
data dependencies of the program and need not be specified explicitly.
author = "Franz Puntigam",
title = "Type Specialization and Coordination",
booktitle = "Workshop on Coordination Models and Languages for Parallelism and Distribution",
month = jul,
year = 1994,
url = "http://www.complang.tuwien.ac.at/franz/papers/Punt94b.ps.gz"
HTML 4.01 |
last update: 2004-04-21 (Puntigam)