Code motion; data flow analysis; dead code elimination; induction variables; linear function test replacement; partial redundancy elimination; program optimization; program analysis; program transformation; static single assignment; strength reduction
(xsd:string)