Data Flow Analysis for Procedural Languages
- Barry K. Rosen
- 1979
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
40 results for Barry K. Rosen
The Toy Language Syndrome
- Barry K. Rosen
- 1978
- IEEE TSE
Efficient method of computing static single assignment form
- Ron Cytron
- Jeanne Ferrante
- et al.
- 1989
- POPL 1989
Global value numbers and redundant computations
- Barry K. Rosen
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
Qualified data flow problems
- L. Howard Holley
- Barry K. Rosen
- 1980
- POPL 1980
Procedure linkage optimization working paper
- A. Maggiolo-Schettini
- B.K. Rosen
- et al.
- 1973
- POPL 1973
Recursively defined data types
- C.H. Lewis
- B.K. Rosen
- 1973
- POPL 1973
Architectural verification of processors using symbolic instruction graphs
- A.K. Chandra
- V.S. Iyengar
- et al.
- 1994
- ICCD 1994
Incremental evaluation of computational circuits
- Bowen Alpern
- Roger Hoover
- et al.
- 1990
- SODA 1990
Restricted symbolic evaluation is fast and useful
- J.Lawrence Carter
- B.K. Rosen
- et al.
- 1989
- ICCAD 1989