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