TY - BOOK T1 - Advanced symbolic analysis for compilers :new techniques and algorithms for symbolic program analysis and optimization / DA - c2003. CY - Berlin ; CY - New York : AU - Fahringer, Thomas, AU - Scholz, Bernhard CN - QA76.76.C65 CN - QA76.76.C65 PB - Springer, PP - Berlin ; PP - New York : PY - c2003. ID - 271397 KW - Compilers (Computer programs) KW - Computer algorithms. SN - 3540011854 (pbk. : alk. paper) TI - Advanced symbolic analysis for compilers :new techniques and algorithms for symbolic program analysis and optimization / ER -