Barry K. Rosen
Journal of Computer and System Sciences
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
Conference paper
Qualified data flow problems
L. Howard Holley, Barry K. Rosen
POPL 1980
Conference paper
Linear cost is sometimes quadratic
Barry K. Rosen
POPL 1981