Analysis of the Equality Relations for the Program Terms | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Emelianov P. G.

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

1

Вид:

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

Год:

1996

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

программа

абстрактный

интерпретация

Стр.:

P.174-188

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

Bibliogr.: p.187-188

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

Серия:

Lecture Notes in Computer Science

Источник:

Static Analysis

Том:

1145

Карточка:

Б2.24, Б3.5.

Emelianov P. G..

Analysis of the Equality Relations for the Program Terms-Berlin, Heidelberg.// Static Analysis, 1996.-Vol. 1145.-P.174-188-(Lecture Notes in Computer Science).
Bibliogr.: p.187-188

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

PAP15 419