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