TY - BOOK AU - Fahringer, Thomas AU - Scholz, Bernhard TI - Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization SN - 9783540011859 U1 - 005.453 FAH PY - 2003/// CY - New York PB - Springer KW - Compilers - Computer programs ER -