Abstract
Symbolic Evaluation is a technique aimed at determining dynamic properties of programs. We extend our intraprocedural data-flow framework introduced in [3] 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.
| Original language | English |
|---|---|
| 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 |
| Publisher | Springer Verlag |
| Pages | 136-145 |
| Number of pages | 10 |
| ISBN (Print) | 3540660933, 9783540660934 |
| DOIs | |
| Publication status | Published - 1999 |
| Event | 4th International Conference on Reliable Software Technologies, Ada-Europe 1999 - Santander, Spain Duration: 1999 Jun 7 → 1999 Jun 11 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1622 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Other
| Other | 4th International Conference on Reliable Software Technologies, Ada-Europe 1999 |
|---|---|
| Country/Territory | Spain |
| City | Santander |
| Period | 99/6/7 → 99/6/11 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1999.
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science(all)