@inproceedings{a3bb50f1a9c345779c31fd31bc194f2a,
title = "Static detection of access anomalies in Ada95",
abstract = "In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequential accesses to shared non-protected variables. The algorithms employed are very efficient. Our approach is conservative and may find false positives.",
author = "Bernd Burgstaller and Johann Blieberger and Robert Mittermayr",
year = "2006",
doi = "10.1007/11767077_4",
language = "English",
isbn = "3540346635",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "40--55",
booktitle = "Reliable Software Technologies - Ada-Europe 2006 - 11th Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "Germany",
note = "11th Ada-Europe International Conference on Reliable Software Technologies ; Conference date: 05-06-2006 Through 09-06-2006",
}