Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

логический

программа

абстрактный

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

унификация

Стр.:

P.53-61.

Реферат:

Абстрактная интерпретация логических программ.

Источник:

SIGPLAN Notices

Номер:

9

Том:

26

Карточка:

В2.11, Б3.21.

Cortesi A., File G..

Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis// SIGPLAN Notices-1991, №9.-Vol. 26.-P.53-61.

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

PAP2 380