Alias calculus for a simple imperative language with decidable pointer arithmetic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Vorontsov A. P.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2014

Ключевые слова:

проблема

псевдоним

вычисление

логический

частичный

исправление

Стр.:

P.131-147

Библиография:

Bibliogr.: p.146-147

Издательство:

Источник:

Bulletin of the Novosibirsk Computing Center

Номер:

37

Карточка:

Б2.1.

Shilov N. V., Satekbayeva A., Vorontsov A. P..

Alias calculus for a simple imperative language with decidable pointer arithmetic: Springer// Bulletin of the Novosibirsk Computing Center-2014, №37.-P.131-147
Bibliogr.: p.146-147

Таблица в старой библиотеке:

ISI3 374