Barry K. Rosen
ACM SIGPLAN Notices
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
Barry K. Rosen
Journal of Computer and System Sciences
Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975