Назад
Воронцов, Александр
Новосибирский Государственный Университет
http://www.nsu.ru
Россия, 630090, Новосибирск, Проспект Коптюга, д.2
Доклад
Шилов Н.В.
*
,
Воронцов А.
**
Основанное на равенствах исчисление алиасов для итеративных программ с динамической памятью
*
Институт систем информатики им. А.П. Ершова (Новосибирск), Россия
**
Новосибирский Государственный Университет (Новосибирск), Россия
К списку участников