Barry K. Rosen
ACM SIGPLAN Notices
Paper
Stickiness and Liveness
Abstract
No abstract available.
Related
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978