Свойства исполнений: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) (Новая страница: « '''Свойство исполнений''' имеет вид утверждения о том, что возможно такое исполнение одно…») |
(нет различий)
|
Текущая версия от 20:31, 13 сентября 2018
Свойство исполнений имеет вид утверждения о том, что возможно такое исполнение одной из программ, моделируемых схемой, при котором выполняется нечто (например, реализуется информационная связь между указанными операторами или оказываются несовместимыми по памяти две указанные переменные и т. д.). По существу, задача извлечения свойств исполнений формулируется как задача доказательства существования пути определенного вида в схеме (уграфе) программы. Во многих случаях оказывается достаточным рассмотреть только простые пути по уграфу, и поэтому основой большинства методов анализа свойств исполнений являются алгоритмы транзитивного замыкания орграфа.
Литература
- Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. — СПб.: БХВ-Петербург, 2003.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.