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