Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989
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
Chidanand Apte, Se June Hong, et al.
Intelligent Data Analysis
Conference paper
Applications of high level control flow
Barry K. Rosen
POPL 1977
Zeev Barzilai, J. Lawrence Carter, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems