Шилов, Николай Вячеславович

Доклад

• Шилов Н.В.^*, Воронцов А.^**
  Основанное на равенствах исчисление алиасов для итеративных программ с динамической памятью
  ^*Институт систем информатики им. А.П. Ершова (Новосибирск), Россия
  ^**Новосибирский Государственный Университет (Новосибирск), Россия