VCFloat2: Floating-point error analysis in Coq
A Appel, A Kellison - Proceedings of the 13th ACM SIGPLAN …, 2024 - dl.acm.org
The development of sound and efficient tools that automatically perform floating-point round-
off error analysis is an active area of research with applications to embedded systems and …
off error analysis is an active area of research with applications to embedded systems and …
VCFloat2: Floating-Point Error Analysis in Coq
A Appel, A Kellison - … Programs and Proofs, CPP 2024, in …, 2024 - collaborate.princeton.edu
The development of sound and efficient tools that automatically perform floating-point round-
off error analysis is an active area of research with applications to embedded systems and …
off error analysis is an active area of research with applications to embedded systems and …
[PDF][PDF] VCFloat2: Floating-Point Error Analysis in Coq
AW Appel, AE Kellison - 2024 - cs.princeton.edu
The development of sound and efficient tools that automatically perform floating-point round-
off error analysis is an active area of research with applications to embedded systems and …
off error analysis is an active area of research with applications to embedded systems and …
[PDF][PDF] VCFloat2: Floating-Point Error Analysis in Coq
AW Appel, AE Kellison - 2024 - scholar.archive.org
The development of sound and e cient tools that automatically perform oating-point round-o
error analysis is an active area of research with applications to embedded systems and …
error analysis is an active area of research with applications to embedded systems and …
VCFloat2: Floating-Point Error Analysis in Coq
AW Appel, AE Kellison - CPP'24, 2024 - dl.acm.org
The development of sound and e cient tools that automatically perform oating-point round-o
error analysis is an active area of research with applications to embedded systems and …
error analysis is an active area of research with applications to embedded systems and …