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.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.identifier.isbn | 9786018046728 | |
| dc.identifier.uri | http://nur.nu.edu.kz/handle/123456789/789 | |
| 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 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- 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:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: