> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Static Analysis: Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM Beteiligte: Menendez, David; Nagarakatte, Santosh; Gupta, Aarti Erschienen: Springer Berlin Heidelberg, 2016 Erschienen in: Static Analysis (2016), Seite 317-337 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-662-53413-7_16 ISSN: 1611-3349; 0302-9743 Entstehung: Anmerkungen: