Barry K. Rosen
Barry K. Rosen.
Tree-manipulating systems and Church-Rosser theorems.
Journal of the ACM
, 20(1):160-187, January 1973.
References, Citations, etc.
Barry K. Rosen.
Data flow analysis for procedural languages.
Journal of the ACM
, 26(2):322-344, April 1979.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database