|
СЕМИНАРЫ |
Семинар отдела дискретной математики МИАН
|
|||
|
Алгоритмы антиунификации и их применение для вычисления инвариантов программ (кандидатская диссертация) Е. В. Костылев |
|||
Аннотация: Р. Э. Яворский (Отзыв ведущей организации) Инвариант программы – отношение между данными, которое выполныется для любых вычислений программы. Знание инвариантов необходимо для решения практических задач верификации, оптимизации, синтеза и реорганизации (рефакторинга) программ. Задача антиунификации состоит в том, чтобы для двух заданных выражений |