Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Paper
Note on semantics and optimization
Abstract
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.
Related
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Conference paper
Global value numbers and redundant computations
Barry K. Rosen, Mark N. Wegman, et al.
POPL 1988
Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990