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

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

абстрактный

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

статический

логическое программирование

семантика

Стр.:

P.455-470.

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

Bibliogr.: p.469-470

Источник:

Lecture Notes in Computer Science

Том:

1548

Карточка:

Б2.24, Б2.35.

Spoto F., Levi G..

Abstract Interpretation of Prolog Programs// Lecture Notes in Computer Science-1999.-Vol. 1548.-P.455-470.
Bibliogr.: p.469-470

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

PAP19 134