Analysis of the equality relations for the program terms

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2 Citations (Scopus)

Abstract

In this article an abstract interpretation and formal language based analysis for imperative programs is presented. This analysis makes a lower approximation of the equality relations for the program terms, i.e. for a given program point our analysis produces a set of equalities t1=t2 where t1 and t2 represent program expressions such that their values are equal for any behavior of the program if this program point is reached. The results of the analysis can be used for debugging, verification, optimization and specialization of programs. An abstract semantics of Pascal-like language is described and some examples of the analysis are given.

Original languageEnglish
Title of host publicationStatic Analysis - 3rd International Symposium, SAS 1996, Proceedings
PublisherSpringer-Verlag GmbH and Co. KG
Pages174-188
Number of pages15
ISBN (Print)3540617396, 9783540617396
Publication statusPublished - 1 Jan 1996
Externally publishedYes
Event3rd International Static Analysis Symposium, SAS 1996 - Aachen, Germany
Duration: 24 Sep 199626 Sep 1996

Publication series

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

Conference

Conference3rd International Static Analysis Symposium, SAS 1996
CountryGermany
CityAachen
Period24.09.199626.09.1996

Fingerprint Dive into the research topics of 'Analysis of the equality relations for the program terms'. Together they form a unique fingerprint.

  • Cite this

    Emelianov, P. G. (1996). Analysis of the equality relations for the program terms. In Static Analysis - 3rd International Symposium, SAS 1996, Proceedings (pp. 174-188). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1145). Springer-Verlag GmbH and Co. KG.