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

Материал из WikiGrapp
Версия от 20:31, 13 сентября 2018; KVN (обсуждение | вклад) (Новая страница: « '''Свойство исполнений''' имеет вид утверждения о том, что возможно такое исполнение одно…»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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

Литература

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