Applications of high level control flow
- Barry K. Rosen
- 1977
- POPL 1977
Publications
Date
Featured collections
Popular topics
40 results for Barry K. Rosen
Correctness of parallel programs: The Church-Rosser approach
- Barry K Rosen
- 1976
- Theoretical Computer Science
Deriving graphs from graphs by applying a production
- Barry K. Rosen
- 1975
- Acta Informatica
Bases for chain-complete posets
- George Markowsky
- Barry K. Rosen
- 1975
- FOCS 1975
Program equivalence and context-free grammars
- Barry K. Rosen
- 1975
- Journal of Computer and System Sciences
Note on semantics and optimization
- Barry K. Rosen
- 1974
- ACM SIGPLAN Notices
Syntactic complexity
- Barry K. Rosen
- 1974
- Information and Control
Recursively defined data types
- C.H. Lewis
- B.K. Rosen
- 1973
- POPL 1973
Procedure linkage optimization working paper
- A. Maggiolo-Schettini
- B.K. Rosen
- et al.
- 1973
- POPL 1973
Program equivalence and context-free grammars
- Barry K. Rosen
- 1972
- SWAT 1972