Media type: E-Article Title: Static Analysis: Certifying, Optimizing Compilation Contributor: Lee, Peter Published: Springer Berlin Heidelberg, 1998 Published in: Static Analysis (1998), Seite 381-381 Language: Not determined DOI: 10.1007/3-540-49727-7_23 ISBN: 9783540650140; 9783540497271 ISSN: 0302-9743 Origination: Footnote: