Vorontsov, Aleksandr
Новосибирский Государственный Университет
http://www.nsu.ru
Russia, 630090, Novosibirsk, Проспект Коптюга, д.2
Report
- Shilov N.V.*, Vorontsov A.**
Equality-based alias calculus for iterative programs with dynamic memory
*Институт систем информатики им. А.П. Ершова (Novosibirsk), Russia
**Новосибирский Государственный Университет (Novosibirsk), Russia