Publications of Franz Puntigam (Punt96a)

Franz Puntigam.
Synchronization Expressed in Types of Communication Channels.
In Proceedings of the 2nd European Conference on Parallel Processing (Euro-Par'96), Springer-Verlag, LNCS 1123, Lyon, France, August 1996.

Abstract:

Static typing and subtyping are useful concepts in object-oriented programming languages. Unfortunately, current type models for concurrent object-oriented languages are not yet as expressive as they should be: Clients have to rely on synchronization behavior not expressed in the objects' types. In the type model proposed in this paper, types of communication channels make synchronization constraints explicit. Static type-checking ensures that messages are sent only if the receivers can deal with the messages at the time when they are received, although the set of accepted messages can change dynamically.

Paper

@InProceedings{Punt96a,
  author    = "Franz Puntigam",
  title     = "Synchronization Expressed in Types of Communication Channels",
  booktitle = "Proceedings of Euro-Par'96",
  editor    = "Luc Boug{\'e} et al.",
  number    = 1023,
  series    = "Lecture Notes in Computer Science",
  year      = 1996,
  publisher = "Springer-Verlag",
  address   = "Lyon, France",
  month     = aug,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt96a.ps.gz"
}