ALIAS calculus for a simple imperative language
Loading...
Date
2014
Authors
Shilov, N. V.
Journal Title
Journal ISSN
Volume Title
Publisher
Nazarbayev University
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".
Description
Keywords
programming, alias calculus, imperative language, dynamic memory, theorem