Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Puntigam:
"How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming";
Vortrag: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
12.10.2009
- 14.10.2009; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung",
J. Knoop, A. Prantl (Hrg.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
S. 231
- 242.
Kurzfassung englisch:
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.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_180108.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.