Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Blieberger, B. Burgstaller:
"Symbolic Reaching Definitions Analysis of Ada Programs";
Vortrag: Reliable Software Technologies - Ada-Europe,
Uppsala, Sweden;
08.06.1998
- 12.06.1998; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
Springer-Verlag,
1411
(1998),
ISBN: 3-540-64536-5;
S. 238
- 250.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/BFb0055009
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.