Static Analysis of Linear Congruence Equalities among Variables of a Program | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Ecole Polytechnique

Вид:

Препринт

Год:

1990

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

абстрактный

интерпретатор

семантический

программа

Стр.:

27 p.

Место издания:

Номер:

LIX/RR/90/10

Карточка:

Б4.1, Б3.22.

Granger P..

Static Analysis of Linear Congruence Equalities among Variables of a Program-Palaiseau., 1990.-27 p.-(Препринт Ecole Polytechnique №LIX/RR/90/10).

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

PREP1 82