Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

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

абстрактный

рекурсивный

поток данных

Стр.:

P.62-69.

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

Bibliogr.: p.69

Источник:

Номер:

74

Карточка:

Б2.33, Б3.2.

Lecoutre C., Devienne P., Lebegue P..

Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite// BIGRE-1991, №74.-P.62-69.
Bibliogr.: p.69

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

PAP2 840