On the Design of Generic Abstract Interpretation Frameworks | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Van Hentenryck P.

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

1

Вид:

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

Год:

1992

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

статический

программа

абстрактный

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

логический

программа

Стр.:

P.229-246.

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

Bibliogr.: p.245-246.

Источник:

Номер:

81-82

Карточка:

Б2.23.

Le Charlier B., Van Hentenryck P..

On the Design of Generic Abstract Interpretation Frameworks// BIGRE-1992, №81-82.-P.229-246.
Bibliogr.: p.245-246.

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

PAP4 571