Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Blieberger, B. Burgstaller, B. Scholz:
"Interprocedural Symbolic Evaluation of Ada Programs with Aliases";
Vortrag: Reliable Software Technologies - Ada-Europe,
Santander, Spain;
07.06.1999
- 11.06.1999; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
Springer-Verlag,
1622
(1999),
ISBN: 3-540-66093-3;
S. 136
- 145.
Kurzfassung englisch:
Symbolic Evaluation is a technique aimed at determining dynamic properties
of programs. We extend our intraprocedural data-flow framework
to support interprocedural symbolic evaluation. Our data-flow framework utilizes a novel
approach based on an array algebra to handle aliases induced by procedure
calls. It serves as
as a basis for static program analysis
(e.g. reaching definitions-, alias analysis, worst-case performance estimations, cache
analysis). Examples for reaching definitions- as well as alias analysis are presented.
Elektronische Version der Publikation:
http://www.auto.tuwien.ac.at/~blieb/papers/ada99.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.