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