A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages

Samuel Figueroa. A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages. PhD thesis, New York University, USA, 2000. [doi]

Abstract

Abstract is missing.