————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 792
Совместно с семинаром
«Теоретическое и экспериментальное программирование»
19 февраля 2013
254 ИСИ СО РАН
Время: 14.30
————————————————————
Айжан Сатекбаева
(Евразийский национальный университет им. Л.Н. Гумилёва,
Астана, Казахстан)
Реферат статьи Reynolds J.C. «Separation Logic:
A Logic for Shared Mutable Data Structures»
(IEEE Symposium on Logic in Computer Science, 2002)
————————————————————