search result

Cover von REST

REST

Integrating Term Rewriting with Program Verification
Year: 2022
Media group: LIPIcs
Cover von Introduction to the Special Issue on Approximate Systems

Introduction to the Special Issue on Approximate Systems

article
Year: 2022
Media group: ARTICLE
Cover von Special Section on Approximate Systems
Search for this author
Year: 2022
Publisher: New York, ACM
Series: ACM transactions on design automation of electronic systems; 27. 2022, 2
Media group: SPECIAL ISSUE
Cover von Approximate Systems; 6
Search for this author
Year: 2021
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von 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
Cover von Combining Tools for Optimization and Analysis of Floating-Point Computations
article in International Symposium on Formal Methods : FM 2018 : LNCS 10951
Search for this author
Year: 2018
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von Dandelion

Dandelion

Certified Approximations of Elementary Functions
Year: 2022
Media group: LIPIcs
Cover von Analysis and Synthesis of Floating-point Programs; 8
pp. 74-101
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von Verified Compilation and Optimization of Floating-Point Programs in CakeML

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Author: Kumar, Ramana; Tan, Yong Kiam; Fox, Anthony
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0