Publications of Franz Puntigam (Punt01b)

Franz Puntigam.
Flexible Types for a Concurrent Model.
In Concurrent Object-Oriented Programming and Petri Nets, G. Agha, F. De Cindio and G. Rozenberg (editors), Springer-Verlag, LNCS 2001, 2001.

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.

@InCollection{Punt01b,
  author    = {Franz Puntigam},
  title     = {Flexible Types for a Concurrent Model},
  booktitle = {Concurrent Object-Oriented Programming and Petri Nets},
  publisher = {Springer-Verlag},
  year      = 2000,
  editor    = {G. Agha and F. {De~Cindio} and G. Rozenberg},
  number    = 2001,
  series    = {LNCS}
}