Fahringer, Thomas Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization Thomas Fahringer, Bernhard Scholz - New York Springer c2003 - xii, 129 p. : ill. ; 24 cm Includes bibliographical references and index ISBN: 9783540011859 ISSN: 2003045579 Subjects--Topical Terms: Compilers - Computer programsComputer algorithms Dewey Class. No.: 005.453 FAH