C++ Logo

SG14

Advanced search

Subject: Reference: An Attempt to define Formal Semantics for Floating Point Notation
From: Jayesh Badwaik (badwaik.jayesh_at_[hidden])
Date: 2019-03-07 13:00:19


http://homepage.divms.uiowa.edu/~tinelli/papers/BraEtAl-ARITH-15.pdf

I have sent a link to a paper which tries to have formal semantics
for floating point numbers. We have shifted to manually specifying
types which should be matrix elements by using `is_matrix_element`
trait. However, I feel this would be instructive to look at anyway.

-- 
Best
Jayesh Badwaik
https://jayeshbadwaik.github.io

SG14 list run by herb.sutter at gmail.com

Older archives