Talks and Poster Presentations (with Proceedings-Entry):
J. Blieberger, B. Burgstaller:
"Symbolic Reaching Definitions Analysis of Ada Programs";
Talk: Reliable Software Technologies - Ada-Europe,
- 1998-06-12; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
A data-flow framework for symbolic reaching definitions analysis
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)
Created from the Publication Database of the Vienna University of Technology.