Abstract Interpretation and Application to Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Ecole Polytechnique

Вид:

Препринт

Год:

1992

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

абстрактный

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

аппроксимация

семантика

логический

программирование

Стр.:

64 p.

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

Bibliogr.: p.55-64.

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

Номер:

LIX/RR/92/08

Карточка:

Б2.24, Б2.14.

Cousot P., Cousot R..

Abstract Interpretation and Application to Logic Programs-Palaiseau., 1992.-64 p.-(Препринт Ecole Polytechnique №LIX/RR/92/08).
Bibliogr.: p.55-64.

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

PREP1 695