Note on semantics and optimization

Authors:
Barry K. Rosen
Affiliations:
IBM Thomas J. Watson Research Center, Yorktown Heights, New York
Venue:
ACM SIGPLAN Notices
Year:
1974

Citing 3
Cited 0

Nondeterministic Algorithms

Journal of the ACM (JACM)
Revised report on the algorithm language ALGOL 60

Communications of the ACM
An overview of nonprocedural languages

Proceedings of the ACM SIGPLAN symposium on Very high level languages

Quantified Score

Hi-index	0.00

Visualization

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.