Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract) | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

абстракция

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

программа

семантика

Стр.:

P.107-110.

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

Bibliogr.: p.110

Источник:

Номер:

74

Карточка:

Б2.2, Б3.2.

Cousot P., Cousot R..

Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract)// BIGRE-1991, №74.-P.107-110.
Bibliogr.: p.110

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

PAP2 846