Publications of Franz Puntigam (Punt95c)

Franz Puntigam.
Flexible Types for a Concurrent Model.
In Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy, June 1995.

Abstract:

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.

Paper

@InProceedings{Punt95c,
  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"
}