Barry K. Rosen
Journal of the ACM
Paper
How to Analyze Large Programs Efficiently and Informatively
Related
Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
Conference paper
Qualified data flow problems
L. Howard Holley, Barry K. Rosen
POPL 1980
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications