C++ Logo


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


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.

Jayesh Badwaik

SG14 list run by sg14-owner@lists.isocpp.org

Older Archives on Google Groups