Efficient Implementation of
Strict Floating-Point Semantics

Kazuyuki Shudo    Yoichi Muraoka
Waseda University


Problem with the x86
Golliver's technique
Implementation space
Experimental results
Remaining problems