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

Static analysis
Static Analysis
Algebra
Synchronization
Multitasking
Object

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
Burgstaller, bernd ; Blieberger, Johann. / Kronecker algebra for static analysis of Ada programs with protected objects. Reliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Springer Verlag, 2014. pp. 27-42 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{93b638441642409bb08be6a15ef42465,
title = "Kronecker algebra for static analysis of Ada programs with protected objects",
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.",
author = "bernd Burgstaller and Johann Blieberger",
year = "2014",
month = "1",
day = "1",
doi = "10.1007/978-3-319-08311-7_4",
language = "English",
isbn = "9783319083100",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "27--42",
booktitle = "Reliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "Germany",

}

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8454 LNCS, Springer Verlag, pp. 27-42, 19th International Conference on Reliable Software Technologies, Ada-Europe 2014, Paris, France, 14/6/23. https://doi.org/10.1007/978-3-319-08311-7_4

Kronecker algebra for static analysis of Ada programs with protected objects. / Burgstaller, bernd; Blieberger, Johann.

Reliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Springer Verlag, 2014. p. 27-42 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8454 LNCS).

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

TY - GEN

T1 - Kronecker algebra for static analysis of Ada programs with protected objects

AU - Burgstaller, bernd

AU - Blieberger, Johann

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84903560276&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84903560276&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-08311-7_4

DO - 10.1007/978-3-319-08311-7_4

M3 - Conference contribution

SN - 9783319083100

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 27

EP - 42

BT - Reliable Software Technologies, Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Proceedings

PB - Springer Verlag

ER -

Burgstaller B, Blieberger J. 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. Springer Verlag. 2014. p. 27-42. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-08311-7_4