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)

Created from the Publication Database of the Vienna University of Technology.