Вы здесь
Optimization Tecniques for General Purpose Fixpoint Algorithms Practical Efficiency for the Abstract Interpretation of Prolog
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.15-26.
Библиография:
Bibliogr.: p.26.
Издательство:
Источник:
Том:
724
Карточка:
Б2.35, Б3.22.
Le Charlier B., Degimbe O., Michel L., Van Hentenryck P..
Optimization Tecniques for General Purpose Fixpoint Algorithms Practical Efficiency for the Abstract Interpretation of Prolog: Springer// Lecture Notes in Computer Science-1993.-Vol. 724.-P.15-26.
Bibliogr.: p.26.
Таблица в старой библиотеке:
PAP7 425