Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Barry K. Rosen
Journal of the ACM
Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975
Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978