Improving Abstract Interpretations by Systematic Lifting to the Powerset | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

абстрактный

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

логический

программа

Стр.:

P.655-669.

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

Bibliogr.: p.668-669.

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

Источник:

Logic Programming. Proc. of the 1994 Intern. Symp.

Карточка:

Б2.35.

File G., Ranzato F..

Improving Abstract Interpretations by Systematic Lifting to the Powerset-Cambridge.// Logic Programming. Proc. of the 1994 Intern. Symp., 1994.-P.655-669.
Bibliogr.: p.668-669.

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

LOG1 388