Просмотр кода страницы Свойства исполнений


'''Свойство исполнений''' имеет вид утверждения о том, что возможно такое исполнение одной из программ, моделируемых [[Схема программ|схемой]], при котором выполняется нечто (например, реализуется информационная связь между указанными операторами или оказываются несовместимыми по памяти две указанные переменные и т. д.). По существу, задача извлечения свойств исполнений формулируется как задача доказательства существования пути определенного вида в схеме (уграфе) программы. Во многих случаях оказывается достаточным рассмотреть только простые пути по уграфу, и поэтому основой большинства методов анализа свойств исполнений являются алгоритмы транзитивного замыкания орграфа.

==Литература==
* Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ-Петербург, 2003.

* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.


[[Категория: Потоковый анализ программ]]