Document Preview

A rigorous framework for fully supporting the IEEE standard for floating -point arithmetic in high-level programming languages

Figueroa del Cid, Samuel Arturo.   New York University ProQuest Dissertations Publishing,  2000. 9956669.