Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization - Thomas Fahringer, Bernhard Scholz ((Lecture Notes in Computer Science))