Вы здесь
Data Flow Analysis is Model Checking of Abstract Interpretations
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Стр.:
P.38-48.
Библиография:
Bibliogr.: p.46-48
Место издания:
Источник:
Карточка:
Б2.2, Б2.35.
Schmidt D. A..
Data Flow Analysis is Model Checking of Abstract Interpretations-New York.// Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages, 1998.-P.38-48.
Bibliogr.: p.46-48
Таблица в старой библиотеке:
ACM5 504