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

• Authors:

• Robert B. Dewar;Samuel Arturo Figueroa Del Cid

• Affiliations:

• -;-

• Venue:
• A rigorous framework for fully supporting the ieee standard for floating-point arithmetic in high-level programming languages
• Year:
• 2000