DSpace Repository

ALIAS calculus for a simple imperative language

ALIAS calculus for a simple imperative language

Shilov, N. V.
URI: http://nur.nu.edu.kz/handle/123456789/789
Date: 2014

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".

Show full item record

Icon
Check access options

Files in this item

Icon
Name: A L I A S C A L C ...
Size: 75.23Kb
Format: PDF
View/Open

This item appears in the following Collection(s)