Aleksandr P. VorontsovE-mailcorvin7@gmail.com List of Articles: Shilov N. Satekbayeva A. Vorontsov A. Alias calculus for a simple imperative language with decidable pointer arithmetic // Computer Science. — 2014 . — # 37. — P. 131-147
