Structurally Defined Conditional Data-flow Static Evaluation Springerlink
The interprocedural constant propagation algorithm is from Torczon's thesis and subsequent papers [68, 172, 263][68][172][263]; both Cytron and Wegman advised other approaches to the issue [111, 347][111][347]. Burke and Torczon…