A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1991

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

семантика

язык потоков данных

денотационный

логический

функциональный

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

Стр.:

P.577-625.

Реферат:

Абстрактная семантика функциональных языков первого порядка с логическими переменными.

Источник:

ACM Trans. Programming Languages and Systems

Номер:

4

Том:

13

Карточка:

Б3.21, Б2.24.

Jagadeesan R., Pingali K., Panangaden P..

A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables// ACM Trans. Programming Languages and Systems-1991, №4.-Vol. 13.-P.577-625.

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

ACM1 144