An axiomatic approach to code optimization for expressions

Abstract

An axiomatic approach is proposed as a means of specifying precisely what liberties are permitted in evaluating expressions. Specific axiom systems are introduced for arithmetic expressions, which permit free grouping of terms within parentheses, in the spirit of American National Standard Fortran.