Talks and Poster Presentations (with Proceedings-Entry):
"Internal and External Token-Based Synchronization in Object-Oriented Languages";
Talk: 7th Joint Modular Languages Conference (JMLC 2006),
- 2006-09-15; in: "Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006",
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.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.