Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978
When can an optimizing compiler reorder the evaluation of parts of an expression? Should the definition of a language permit reordering? A common micsonception about the relation between semantics and optimization is analyzed in two contexts: numerical programming in procedural languages and nonnumerical programming in very high level languages. © 1974, ACM. All rights reserved.
Barry K. Rosen
POPL 1978
Barry K. Rosen, Mark N. Wegman, et al.
POPL 1988
Barry K. Rosen
Information and Control
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS