Свойства исполнений

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

Литература

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

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