Advanced Symbolic Analysis for Compilers  New Techniques and Algorithms for Symbolic Program Analysis and Optimization 
ed by T Fahringer, B Scholz 
 - Berlin  Springer 
 - Lecture notes in computer science .
<br/><br/><label>Dewey Class. No.: </label>005.453  /