Date:June 1997 pp. 682–694 Frances Allen, John Cocke, and Ken Kennedy. Reduction of Operator Strength. In Program Flow Analysis, Muchnick and Jones (editors)
modification of the direct definition operator ∇ defined in [A Function Definition Operator], …… A function produced by the operator ∇ may be assigned a name (as