Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Gallagher J. P.

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

1

Вид:

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

Год:

2002

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

логический

программа

абстрактный

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

Стр.:

P.243-261

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

Bibliogr.: p.259-261

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2257

Карточка:

Б2.24, Б2.35.

Gallagher J. P., Puebla G..

Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs: Springer// Lecture Notes in Computer Science-2002.-Vol. 2257.-P.243-261
Bibliogr.: p.259-261

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

PAP24 434