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

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

логический

программирование

абстрактный

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

Стр.:

P.607-648.

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

Bibliogr.: p.645-648.

Источник:

ACM Trans. Programming Languages and Systems

Номер:

3

Том:

16

Карточка:

Б3.14, Б3.22, Б2.23.

Mariott K., Sondergaard H., Jones N. D..

Denotational Abstract Interpretation of Logic Programs// ACM Trans. Programming Languages and Systems-1994, №3.-Vol. 16.-P.607-648.
Bibliogr.: p.645-648.

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

ACM4 168