Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization - Fahringer, Thomas; Fahringer, Thomas; Scholz, Bernhard (Springer Berlin Heidelberg : Imprint: Springer, 2003)