Strictness Analysis by Abstract Reduction Using a Tableau Calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Schmidt-Schauss M.

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

1

Вид:

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

Год:

1995

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

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

компиляция

Стр.:

P. 348-365

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

Bibliogr.: p.364-365

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

Серия:

Lecture Notes in Computer Science

Источник:

Static Analysis

Том:

983

Карточка:

Б3.2.

Schmidt-Schauss M., Panitz S. E., Schutz M..

Strictness Analysis by Abstract Reduction Using a Tableau Calculus-Berlin, Heidelberg.// Static Analysis, 1995.-Vol. 983.-P. 348-365-(Lecture Notes in Computer Science).
Bibliogr.: p.364-365

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

PAP13 591