PERs from Projections for Binding-time Analysis | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

логика первого порядка

смешанные вычисления

реляционный

Стр.:

P.53-60.

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

Bibliogr.: p.59-60.

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

Источник:

PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation

Номер:

TR 94/9

Карточка:

Б3.21, Б2.14.

Davis K..

PERs from Projections for Binding-time Analysis-Melbourne.// PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation, 1994, №TR 94/9.-P.53-60.
Bibliogr.: p.59-60.

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

ACM4 460