Abstract Interpretation Framework | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Ecole Polytechnique

Вид:

Препринт

Год:

1992

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

абстрактный

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

семантика

Стр.:

27 p.

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

Bibliogr.: p.26-27.

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

Номер:

LIX/RR/92/10

Карточка:

Б2.24.

Cousot P., Cousot R..

Abstract Interpretation Framework-Palaiseau., 1992.-27 p.-(Препринт Ecole Polytechnique №LIX/RR/92/10).
Bibliogr.: p.26-27.

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

PREP1 697