——————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
——————————————————————
Заседание N460
17 ноября 1998
Комната для семинаров ИСИ СО РАН
Время:14.15
——————————————————————
В.А. Бояршинов
Системы переписывания графов
(Uwe Assmann «On Edge Addition Rewrite Systems and
their Relevance to Program Analysis»)
——————————————————————