Media type: E-Article Title: Static Analysis: Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM Contributor: Menendez, David; Nagarakatte, Santosh; Gupta, Aarti Published: Springer Berlin Heidelberg, 2016 Published in: Static Analysis (2016), Seite 317-337 Language: Not determined DOI: 10.1007/978-3-662-53413-7_16 ISSN: 1611-3349; 0302-9743 Origination: Footnote: