Heiko Becker

1. Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler
   2019/01/01 by Heiko Becker, Eva Darulová, Magnus O. Myreen +1 · 1 citation
   Computer Science · #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #Logic, programming, and type systems