ALIAS calculus for a simple imperative language
Loading...
Date
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".