Symbolic Evaluation is a technique aimed at determining dynamic properties of programs. We extend our intraprocedural data-flow framework introduced in  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.
|Title of host publication||Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings|
|Editors||Michael Gonzalez Harbour, Juan A. de la Puente|
|Number of pages||10|
|ISBN (Print)||3540660933, 9783540660934|
|Publication status||Published - 1999|
|Event||4th International Conference on Reliable Software Technologies, Ada-Europe 1999 - Santander, Spain|
Duration: 1999 Jun 7 → 1999 Jun 11
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Other||4th International Conference on Reliable Software Technologies, Ada-Europe 1999|
|Period||99/6/7 → 99/6/11|
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)