Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.

Heiko Becker Eva Darulova Magnus O. Myreen Zachary Tatlock

Published in: CAV (2) (2019)

Keyphrases

programming language
decision support
monitoring system
neural network
information systems
machine learning
relational databases
long term