Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization /
Thomas Fahringer, Bernhard Scholz.
- Berlin : Springer, 2003.
- xii, 129 p. : ill. ; 24 cm.
- Lecture notes in computer science ; 2628 .