H. Operowsky

• A single-pass algorithm for eliminating constraint checks in Ada programs