On Mon, Aug 26, 2013 at 2:57 PM, Jonathan S. Shapiro <[email protected]>wrote:

> In the meantime, you should perhaps look at the following paper by Will
> Clinger: "How to Read Floating Point Numbers Accuraetly"
> http://www.cesura17.net/~will/Professional/Research/Papers/howtoread.pdf
>

Hmm. I'll ask Will if he's aware of Hack's work.
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to