Publications of Franz Puntigam (Punt03b)

Franz Puntigam.
Synchronization with Type Variables.
In Workshop on Object-oriented Language Engineering for the Post-Java Era, 22.07.2003, Darmstadt, Germany.

Abstract:

Although Java is supposed to be a language for the Internet, there is only marginal support of concurrency and synchronization. Especially the reliability of concurrent Java programs is quite often problematic. We propose to use a language with much more reliable synchronization concepts based on process types. This approach gives more flexibility and allows us to use inheritance and subtyping in concurrent programs in the same way as in sequential programs.

Paper

@InProceedings{Punt03b,
  author    = {Franz Puntigam},
  title     = {Synchronization with Type Variables},
  booktitle = {Workshop on Object-oriented Language Engineering for the Post-Java Era},
  year      = 2003,
  address   = {Darmstadt, Germany},
  month     = jul,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt03b.ps.gz"
}