Type Theory and Projections for Higher-Order Static Analysis | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Baker-Finch C. A.

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

1

Вид:

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

Год:

1994

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

статистический

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

программа

абстрактный

семантика

Стр.:

P.43-52.

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

Bibliogr.: p.51-52.

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

Источник:

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

Номер:

TR 94/9

Карточка:

Б2.24.

Baker-Finch C. A..

Type Theory and Projections for Higher-Order Static Analysis-Melbourne.// PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation, 1994, №TR 94/9.-P.43-52.
Bibliogr.: p.51-52.

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

ACM4 459