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