Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Blieberger, B. Burgstaller:
"Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects";
Vortrag: Reliable Software Technologies - Ada-Europe,
Paris, France;
23.06.2014
- 27.06.2014; in: "Proceedings of Ada-Europe 2014",
(2014),
ISBN: 978-3-319-08310-0;
S. 27
- 42.
Kurzfassung englisch:
Kronecker algebra has proven useful in analyzing multi-threaded programs when semaphores are the only synchronization primitives. In contrast, Ada uses higher level synchronization primitives, namely protected objects. In this paper we show how Kronecker algebra can be generalized to statically analyze Ada multi-tasking programs that employ protected objects for synchronization issues.
Zugeordnete Projekte:
Projektleitung Johann Blieberger:
SAJiTcore++
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.