Publications

40 results for Barry K. Rosen

Applications of high level control flow
- - Barry K. Rosen
- 1977
- POPL 1977
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