Media type: E-Article Title: Static Analysis: Witnessing Program Transformations Contributor: Namjoshi, Kedar S.; Zuck, Lenore D. Published: Springer Berlin Heidelberg, 2013 Published in: Static Analysis (2013), Seite 304-323 Language: Not determined DOI: 10.1007/978-3-642-38856-9_17 ISBN: 9783642388552; 9783642388569 ISSN: 0302-9743; 1611-3349 Origination: Footnote: