Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization - Fahringer, Thomas, 1965- (Lecture notes in computer science ;, 2003)