Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Paper
How practical is POPL?
Abstract
No abstract available.
Related
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Dhananjay M. Dhamdhere, Barry K. Rosen, et al.
ACM SIGPLAN Notices
Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990