Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Puntigam:
"Internal and External Token-Based Synchronization in Object-Oriented Languages";
Vortrag: 7th Joint Modular Languages Conference (JMLC 2006),
Oxford, UK;
13.09.2006
- 15.09.2006; in: "Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006",
Springer,
LNCS 4228
(2006),
ISBN: 3-540-40927-0;
S. 251
- 270.
Kurzfassung englisch:
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.
Elektronische Version der Publikation:
http://www.complang.tuwien.ac.at/franz/papers/Punt06b.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.