Icing: supporting fast-math style optimizations in a verified compiler
Paper i proceeding, 2019
Optimization
Floating-point arithmetic
Compiler verification
Författare
Heiko Becker
Max-Planck-Gesellschaft
Eva Darulova
Max-Planck-Gesellschaft
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
Zachary Tatlock
University of Washington
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11562 LNCS 155-173978-303025542-8 (ISBN)
New York, USA,
Ämneskategorier
Språkteknologi (språkvetenskaplig databehandling)
Inbäddad systemteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-030-25543-5_10