RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар отдела дискретной математики МИАН
2 декабря 2008 г. 16:00, г. Москва, МИАН, комн. 511 (ул. Губкина, 8)
 


Алгоритмы антиунификации и их применение для вычисления инвариантов программ (кандидатская диссертация)

Е. В. Костылев

Количество просмотров:
Эта страница:57

Аннотация: Р. Э. Яворский (Отзыв ведущей организации)
Инвариант программы – отношение между данными, которое выполныется для любых вычислений программы. Знание инвариантов необходимо для решения практических задач верификации, оптимизации, синтеза и реорганизации (рефакторинга) программ. Задача антиунификации состоит в том, чтобы для двух заданных выражений $E_1$ и $E_2$ найти наиболее специальное выражение $E_0$, примерами которого являются оба выражения $E_1$ и $E_2$, т.е. существуют подстановки $T_1$ и $T_2$, для которых $E_1=E_0T_1$ и $E_2=E_0T_2$. Алгоритмы антиунификации могут использоваться для вычисления инвариантов программ.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017