Kronecker algebra for static analysis of Ada programs with protected objects

bernd Burgstaller, Johann Blieberger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Kronecker algebra has proven useful in analyzing multithreaded 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.

Original languageEnglish
Title of host publicationReliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
PublisherSpringer Verlag
Pages27-42
Number of pages16
ISBN (Print)9783319083100
DOIs
Publication statusPublished - 2014 Jan 1
Event19th International Conference on Reliable Software Technologies, Ada-Europe 2014 - Paris, France
Duration: 2014 Jun 232014 Jun 27

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8454 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other19th International Conference on Reliable Software Technologies, Ada-Europe 2014
CountryFrance
CityParis
Period14/6/2314/6/27

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Burgstaller, B., & Blieberger, J. (2014). Kronecker algebra for static analysis of Ada programs with protected objects. In Reliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 27-42). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8454 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-08311-7_4