Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978
Paper
Stickiness and Liveness
Abstract
No abstract available.
Related
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Barry K. Rosen
Acta Informatica
Conference paper
Linear cost is sometimes quadratic
Barry K. Rosen
POPL 1981