Shilov, N. V.2015-11-052015-11-0520149786018046728http://nur.nu.edu.kz/handle/123456789/789This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory".enprogrammingalias calculusimperative languagedynamic memorytheoremAbstract