ALIAS calculus for a simple imperative language

dc.contributor.author	Shilov, N. V.
dc.date.accessioned	2015-11-05T07:45:36Z
dc.date.available	2015-11-05T07:45:36Z
dc.date.issued	2014
dc.identifier.isbn	9786018046728
dc.identifier.uri	http://nur.nu.edu.kz/handle/123456789/789
dc.description.abstract	This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory".	ru_RU
dc.language.iso	en	ru_RU
dc.publisher	Nazarbayev University	ru_RU
dc.subject	programming	ru_RU
dc.subject	alias calculus	ru_RU
dc.subject	imperative language	ru_RU
dc.subject	dynamic memory	ru_RU
dc.subject	theorem	ru_RU
dc.title	ALIAS calculus for a simple imperative language	ru_RU
dc.type	Abstract	ru_RU