PaperProgram equivalence and context-free grammarsBarry K. RosenJournal of Computer and System Sciences
PaperHow to Analyze Large Programs Efficiently and InformativelyDhananjay M. Dhamdhere, Barry K. Rosen, et al.ACM SIGPLAN Notices