Talks and Poster Presentations (with Proceedings-Entry):
J. Blieberger, B. Burgstaller, B. Scholz:
"Interprocedural Symbolic Evaluation of Ada Programs with Aliases";
Talk: Reliable Software Technologies - Ada-Europe,
- 1999-06-11; in: "Lecture Notes in Computer Science - Ada-Europe Conf.",
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.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.