Interprocedural symbolic evaluation of Ada programs with aliases

J. Blieberger, B. Burgstaller, B. Scholz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

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 languageEnglish
Title of host publicationReliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsMichael Gonzalez Harbour, Juan A. de la Puente
PublisherSpringer Verlag
Pages136-145
Number of pages10
ISBN (Print)3540660933, 9783540660934
DOIs
Publication statusPublished - 1999 Jan 1
Event4th International Conference on Reliable Software Technologies, Ada-Europe 1999 - Santander, Spain
Duration: 1999 Jun 71999 Jun 11

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1622
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Conference on Reliable Software Technologies, Ada-Europe 1999
CountrySpain
CitySantander
Period99/6/799/6/11

Fingerprint

Algebra
Data Flow
Evaluation
Worst-case Performance
Program Analysis
Dynamic Properties
Static Analysis
Cache
Framework

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Blieberger, J., Burgstaller, B., & Scholz, B. (1999). Interprocedural symbolic evaluation of Ada programs with aliases. In M. G. Harbour, & J. A. de la Puente (Eds.), Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 136-145). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1622). Springer Verlag. https://doi.org/10.1007/3-540-48753-0_12
Blieberger, J. ; Burgstaller, B. ; Scholz, B. / Interprocedural symbolic evaluation of Ada programs with aliases. Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. editor / Michael Gonzalez Harbour ; Juan A. de la Puente. Springer Verlag, 1999. pp. 136-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{949d95cbf06541fea5616cdca4682c16,
title = "Interprocedural symbolic evaluation of Ada programs with aliases",
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.",
author = "J. Blieberger and B. Burgstaller and B. Scholz",
year = "1999",
month = "1",
day = "1",
doi = "10.1007/3-540-48753-0_12",
language = "English",
isbn = "3540660933",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "136--145",
editor = "Harbour, {Michael Gonzalez} and {de la Puente}, {Juan A.}",
booktitle = "Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "Germany",

}

Blieberger, J, Burgstaller, B & Scholz, B 1999, Interprocedural symbolic evaluation of Ada programs with aliases. in MG Harbour & JA de la Puente (eds), Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1622, Springer Verlag, pp. 136-145, 4th International Conference on Reliable Software Technologies, Ada-Europe 1999, Santander, Spain, 99/6/7. https://doi.org/10.1007/3-540-48753-0_12

Interprocedural symbolic evaluation of Ada programs with aliases. / Blieberger, J.; Burgstaller, B.; Scholz, B.

Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. ed. / Michael Gonzalez Harbour; Juan A. de la Puente. Springer Verlag, 1999. p. 136-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1622).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Interprocedural symbolic evaluation of Ada programs with aliases

AU - Blieberger, J.

AU - Burgstaller, B.

AU - Scholz, B.

PY - 1999/1/1

Y1 - 1999/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958592723&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84958592723&partnerID=8YFLogxK

U2 - 10.1007/3-540-48753-0_12

DO - 10.1007/3-540-48753-0_12

M3 - Conference contribution

AN - SCOPUS:84958592723

SN - 3540660933

SN - 9783540660934

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 136

EP - 145

BT - Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings

A2 - Harbour, Michael Gonzalez

A2 - de la Puente, Juan A.

PB - Springer Verlag

ER -

Blieberger J, Burgstaller B, Scholz B. Interprocedural symbolic evaluation of Ada programs with aliases. In Harbour MG, de la Puente JA, editors, Reliable Software Technologies – Ada-Europe 1999 - 1999 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Springer Verlag. 1999. p. 136-145. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-48753-0_12