A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

абстрактный

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

логический

программа

ограничение

Стр.:

P.336-350.

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

Bibliogr.: p.348-349.

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

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

Источник:

Logic Programming: Proc. of the 1995 Intern Symp.

Карточка:

Б.35.

Janssens G., Bruynoodhe M., Dumortier V..

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs-Cambridge.: The MIT Press// Logic Programming: Proc. of the 1995 Intern Symp., 1995.-P.336-350.
Bibliogr.: p.348-349.

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

LOG1 446