Talks and Poster Presentations (with Proceedings-Entry):
F. Puntigam:
"Synchronization as a Special Case of Access Control";
Talk: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08),
Oslo, Norway;
2008-06-07; in: "Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software",
(2008),
52
- 57.
English abstract:
Synchronization ensures exclusive access to shared variables at runtime, and unique-access control gives similar guarantees at compilation time. We propose to integrate synchronization into access control in a Java-like language: Synchronization is based on lockable shared variables accessible only in the presence of corresponding (partially unique) tokens. We get more freedom in expressing synchronization at appropriate points, and the influence of concurrency on the program structure becomes weaker.
Created from the Publication Database of the Vienna University of Technology.