Publications of Franz Puntigam (Punt06b)

Franz Puntigam.
Internal and External Token-Based Synchronization in Object-Oriented Languages.
In Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, 13.-15.9.2006, Oxford, UK. LNCS 4228, Springer 2006, ISBN 3-540-40927-0, pp. 251-270.

Abstract:

We expect interfaces in programming languages to expose essential parts of the objects' internal synchronization as well as required external synchronization. Clients need this information to provide required and avoid conflicting synchronization. We propose a mixed static and dynamic token-based approach to uniformly specify internal and external synchronization in a simplified Java-like language. This concept gives us much flexibility on token management, ensures race-free programs without any need for complete aliasing information, and supports static type checking of synchronization using a rich notion of subtyping.

Paper

Slides

Springer Link

@InProceedings{Punt06b,
  author    = {Franz Puntigam},
  title     = {Internal and External Token-Based Synchronization in Object-Oriented Languages},
  booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006},
  year      = 2006,
  address   = {Oxford, UK},
  month     = sep,
  number    = 4228,
  series    = "Lecture Notes in Computer Science",
  publisher = "Springer",
  pages     = {251--270},
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt06b.pdf"
}