Вы здесь

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