Институт системного программирования им. В.П. Иванникова РАН


Об одной полисемантической модели последовательных программ.

Авторы

Захаров В.А., Захарьящев И.М.

Аннотация

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

Ключевые слова

схемы программ, динамическая логика, проблема эквивалентности, полиномиальное время

Издание

Труды V Международной конференции «Дискретные модели в теории управляющих систем", (Ратмино, 26-29 мая 2003 г.), 2003, МАКС Пресс-МГУ Москва, том 1, с. 26-29.

Научная группа

Теоретическая информатика

Все публикации за 2003 год Все публикации