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