Vorontsov, Aleksandr

Report

• Shilov N.V.^*, Vorontsov A.^**
  Equality-based alias calculus for iterative programs with dynamic memory
  ^*Институт систем информатики им. А.П. Ершова (Novosibirsk), Russia
  ^**Новосибирский Государственный Университет (Novosibirsk), Russia