Talks and Poster Presentations (with Proceedings-Entry):
F. Puntigam:
"How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
231
- 242.
English abstract:
Program structures appropriate for concurrency are often in conflict with object-oriented principles. Especially average programmers need high-level language constructs for concurrency with good integration into the object-oriented paradigm. A key concept in this respect is better static knowledge of the data flow. We propose to explicitly specify the flow of data accessibility in a program. This information is sufficient for a compiler to automatically spawn threads and add synchronization as necessary. Programmers regard the specifications just as assertions.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_180108.pdf
Created from the Publication Database of the Vienna University of Technology.