![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Static Analysis Volume 9837 || Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
Rival, XavierVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-662-53413-7_16
File:
PDF, 728 KB
english, 2016