Talks and Poster Presentations (with Proceedings-Entry):
J. Blieberger, B. Burgstaller:
"Symbolic Reaching Definitions Analysis of Ada Programs";
Talk: Reliable Software Technologies - Ada-Europe,
Uppsala, Sweden;
1998-06-08
- 1998-06-12; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
Springer-Verlag,
1411
(1998),
ISBN: 3-540-64536-5;
238
- 250.
English abstract:
A data-flow framework for symbolic reaching definitions analysis
is presented.
It produces a more accurate solution of the reaching definitions
problem than can be achieved with "classic" data-flow analysis.
This is crucial for applications in the area of real-time,
embedded, and safety-related systems.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/BFb0055009