Talks and Poster Presentations (with Proceedings-Entry):
"Synchronization with Type Variables";
Talk: Workshop on Object-oriented Language Engineering for the Post-Java Era,
2003-07-22; in: "Workshop on Object-oriented Language Engineering for the Post-Java Era",
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 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.
Online library catalogue of the TU Vienna:
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.