Вы здесь

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Стр.: 
P.67-82
Библиография: 
Bibliogr.: p.82
Место издания: 
Источник: 
Том: 
1145
Карточка: 

Б3.21.

Andersen P. H., Holst C. K..

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language-Berlin, Heidelberg.// Static Analysis, 1996.-Vol. 1145.-P.67-82-(Lecture Notes in Computer Science).
Bibliogr.: p.82

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