Symbolic reaching definitions analysis of ada programs

Johann Blieberger, bernd Burgstaller

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

6 Citations (Scopus)

Abstract

A data-flow framework for symbolic symbolic reaching definitions analysis is presented. It produces a more accurate solution of the reaching definitions problem than can be achieved with "classic" data-flow analysis, which is very important for safety-related applications.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsLars Asplund
PublisherSpringer Verlag
Pages238-250
Number of pages13
ISBN (Print)3540645365, 9783540645368
DOIs
Publication statusPublished - 1998 Jan 1
Event3rd International Conference on Reliable Software Technologies, Ada-Europe 1998 - Uppsala, Sweden
Duration: 1998 Jun 81998 Jun 12

Publication series

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

Other

Other3rd International Conference on Reliable Software Technologies, Ada-Europe 1998
CountrySweden
CityUppsala
Period98/6/898/6/12

Fingerprint

Data flow analysis
Data Flow
Safety
Framework

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Blieberger, J., & Burgstaller, B. (1998). Symbolic reaching definitions analysis of ada programs. In L. Asplund (Ed.), Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 238-250). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1411). Springer Verlag. https://doi.org/10.1007/BFb0055009
Blieberger, Johann ; Burgstaller, bernd. / Symbolic reaching definitions analysis of ada programs. Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. editor / Lars Asplund. Springer Verlag, 1998. pp. 238-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{5d1aea768eca4cdba99960c8b4ff90d7,
title = "Symbolic reaching definitions analysis of ada programs",
abstract = "A data-flow framework for symbolic symbolic reaching definitions analysis is presented. It produces a more accurate solution of the reaching definitions problem than can be achieved with {"}classic{"} data-flow analysis, which is very important for safety-related applications.",
author = "Johann Blieberger and bernd Burgstaller",
year = "1998",
month = "1",
day = "1",
doi = "10.1007/BFb0055009",
language = "English",
isbn = "3540645365",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "238--250",
editor = "Lars Asplund",
booktitle = "Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings",
address = "Germany",

}

Blieberger, J & Burgstaller, B 1998, Symbolic reaching definitions analysis of ada programs. in L Asplund (ed.), Reliable Software Technologies - Ada-Europe - 1998 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. 1411, Springer Verlag, pp. 238-250, 3rd International Conference on Reliable Software Technologies, Ada-Europe 1998, Uppsala, Sweden, 98/6/8. https://doi.org/10.1007/BFb0055009

Symbolic reaching definitions analysis of ada programs. / Blieberger, Johann; Burgstaller, bernd.

Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. ed. / Lars Asplund. Springer Verlag, 1998. p. 238-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1411).

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

TY - GEN

T1 - Symbolic reaching definitions analysis of ada programs

AU - Blieberger, Johann

AU - Burgstaller, bernd

PY - 1998/1/1

Y1 - 1998/1/1

N2 - A data-flow framework for symbolic symbolic reaching definitions analysis is presented. It produces a more accurate solution of the reaching definitions problem than can be achieved with "classic" data-flow analysis, which is very important for safety-related applications.

AB - A data-flow framework for symbolic symbolic reaching definitions analysis is presented. It produces a more accurate solution of the reaching definitions problem than can be achieved with "classic" data-flow analysis, which is very important for safety-related applications.

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

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

U2 - 10.1007/BFb0055009

DO - 10.1007/BFb0055009

M3 - Conference contribution

SN - 3540645365

SN - 9783540645368

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

SP - 238

EP - 250

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

A2 - Asplund, Lars

PB - Springer Verlag

ER -

Blieberger J, Burgstaller B. Symbolic reaching definitions analysis of ada programs. In Asplund L, editor, Reliable Software Technologies - Ada-Europe - 1998 Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Springer Verlag. 1998. p. 238-250. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0055009