Cover von Icing opens in new tab

Icing

Supporting Fast-Math Style Optimizations in a Verified Compiler : article in LNCS 11561
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11561 article
Media group: ARTICLE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: BECKER HEIKO Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Search for this author
Year: 2019
Publisher: Berlin, Springer
Works included: Dagstuhl Seminar 17352
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 155-173
Series: Lecture notes in computer science; 11561 article
Participating parties: Search for this character Becker, Heiko; Darulova, Eva; Myreen, Magnus O.; Tatlock, Zachary
Media group: ARTICLE