Analysis of the equality relations for the program terms

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииStatic Analysis - 3rd International Symposium, SAS 1996, Proceedings
ИздательSpringer-Verlag GmbH and Co. KG
Страницы174-188
Число страниц15
ISBN (печатное издание)3540617396, 9783540617396
СостояниеОпубликовано - 1 янв 1996
Опубликовано для внешнего пользованияДа
Событие3rd International Static Analysis Symposium, SAS 1996 - Aachen, Германия
Продолжительность: 24 сен 199626 сен 1996

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том1145
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция3rd International Static Analysis Symposium, SAS 1996
СтранаГермания
ГородAachen
Период24.09.199626.09.1996

    Fingerprint

Цитировать

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