ACM SIGPLAN Notices · 1982 · 12 citations · 2 references
ComputingComputer EngineeringComputer ScienceCompilersControl-flow AnalysisData-flow AnalysisDesign For TestabilityRange SearchingSoftware TestingTiming AnalysisCode MotionCommon Subexpression EliminationRange AnalysisRange ChecksRuntime AnalysisStrength Reduction
An analysis is given for optimizing run-time range checks in regions of high execution frequency. These optimizations are accomplished using strength reduction, code motion and common subexpression elimination. Test programs, using the above optimizations, are used to illustrate run-time improvements.
2
A program data flow analysis procedure
Frances Allen, John Cocke · Communications of the ACM · 1976 · 410 citations · Full text
Economic range checks in pascal
James M. Welsh · Software Practice and Experience · 1978 · 23 citations