Репозиторий NUR

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
Дата: 2014

Аннотации:

This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory".

Показать полную информацию

Icon
Check access options

Файлы в этом документе

Icon
Имя: A L I A S C A L C ...
Размер: 75.23Kb
Формат: PDF
Открыть

Данный элемент включен в следующие коллекции