search result

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 Modeling and Simulating Software Architectures
The Palladio Approach
Author: Reussner, Ralf Heinrich; Becker, Steffen; Happe, Jens Search for this author
Year: 2016
Publisher: Cambridge, MIT Press
Media group: MONOGRAPHIE
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