TY  - BOOK
AU  - Fahringer, T., ed
AU  - Scholz, B., ed
TI  - Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
T2  - Lecture notes in computer science
U1  - 005.453 
CY  - Berlin
PB  - Springer
ER  -