ALIAS calculus for a simple imperative language

Loading...
Thumbnail Image

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

Citation