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
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 11562 LNCS s. 155-173978-303025542-8 (ISBN)
Konferens
New York, USA, 2019-07-14 - 2019-07-17
Kategorisering
Ämneskategorier (SSIF 2011)
Språkteknologi (språkvetenskaplig databehandling)
Inbäddad systemteknik
Datavetenskap (datalogi)
Identifikatorer
DOI
10.1007/978-3-030-25543-5_10