Conference paper
Applications of high level control flow
Barry K. Rosen
POPL 1977
Paper
Stickiness and Liveness
Related
Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Barry K. Rosen
Journal of Computer and System Sciences