Заседание №707

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 707
21 апреля 2009
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Л.С. Дериглазов
«Анализ типов в динамических языках на примере Python»
————————————————————
Аннотация
Доклад будет содержать: постановку задачи; краткий обзор
аспектов алгоритмов; обзор выполненной докладчиком работы,
проблемы, планы; несколько слов о современных исследованиях
в области статического анализа (некоторые работы 1999 — 2008
годов).
————————————————————