James C. Beatty
James C. Beatty.
An axiomatic approach to code optimization for expressions.
Journal of the ACM
, 19(4):613-640, October 1972.
References, Citations, etc.
James C. Beatty.
Errata: ``An axiomatic approach to code optimization for expressions''.
Journal of the ACM
, 20(1):188, January 1973.
References.
James C. Beatty.
Erratum: ``An axiomatic approach to code optimization for expressions''.
Journal of the ACM
, 20(3):538, July 1973.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database