ALIAS calculus for a simple imperative language

Simple item page
dc.contributor.authorShilov, N. V.
dc.date.accessioned2015-11-05T07:45:36Z
dc.date.available2015-11-05T07:45:36Z
dc.date.issued2014
dc.description.abstractThis 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.identifier.isbn9786018046728
dc.identifier.urihttp://nur.nu.edu.kz/handle/123456789/789
dc.language.isoenru_RU
dc.publisherNazarbayev Universityru_RU
dc.subjectprogrammingru_RU
dc.subjectalias calculusru_RU
dc.subjectimperative languageru_RU
dc.subjectdynamic memoryru_RU
dc.subjecttheoremru_RU
dc.titleALIAS calculus for a simple imperative languageru_RU
dc.typeAbstractru_RU

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
A L I A S C A L C U L U S.pdf
Size:
75.24 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

NU Research Week - II