Publications of Franz Puntigam (Punt95c)
Flexible Types for a Concurrent Model.
In Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency,
Torino, Italy, June 1995.
Subtyping is undoubtedly useful for the support of incremental
refinement and reuse of software components, a crucial feature of
object-oriented languages. Types and subtyping for concurrent
languages are not yet explored sufficiently and tend to be less
flexible than desired. We propose a principle of dealing with very
flexible types in concurrent languages. The corresponding type
model ensures that "message not understood" errors cannot occur
even if object behavior can be dynamically modified in some ways.
author = "Franz Puntigam",
title = "Flexible Types for a Concurrent Model",
booktitle = "Proceedings of the Workshop on Object-Oriented
Programming and Models of Concurrency",
year = 1995,
address = "Torino",
month = jun,
url = "http://www.complang.tuwien.ac.at/franz/papers/Punt95c.ps.gz"
HTML 4.01 |
last update: 2004-04-21 (Puntigam)