Barry K. Rosen
Acta Informatica
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems