Talks and Poster Presentations (with Proceedings-Entry):
J. Blieberger, B. Burgstaller:
"Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects";
Talk: Reliable Software Technologies - Ada-Europe,
- 2014-06-27; in: "Proceedings of Ada-Europe 2014",
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.
Project Head Johann Blieberger:
Created from the Publication Database of the Vienna University of Technology.