000 00501nam a2200145Ia 4500
008 211224s9999 xx 000 0 und d
020 _a9783540011859
082 _a005.453 FAH
100 _aFahringer, Thomas
245 0 _aAdvanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
260 _aNew York:
_bSpringer,
_c2003
300 _axii, 129 p. : ill. ; 24 cm
650 _aCompilers - Computer programs
700 _aScholz, Bernhard
999 _c11744
_d11744