Proposal for a language compatible arithmetic standard

Authors:
Mary Payne;Craig Schaffert;Brian Wichmann
Affiliations:
Digital Equipment Corp, Maynard, MA;Digltal Equipment Corp, One Kendall Square, Cambridge, MA;National Physical Laboratory, Teddington, Middlesex, England
Venue:
ACM SIGNUM Newsletter
Year:
1990

Citing 5
Cited 1

Systematic software development using VDM

Systematic software development using VDM
Towards a formal specification of floating point

The Computer Journal - Special issue: formal aspects of computing systems
A Simple but Realistic Model of Floating-Point Computation

ACM Transactions on Mathematical Software (TOMS)
Reference Manual for the ADA Programming Language

Reference Manual for the ADA Programming Language
On a proposed floating-point standard

ACM SIGNUM Newsletter

Rationale for the Proposed Standard for a Generic Package of Primitive Functions for Ada

ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The following proposal for an arithmetic standard has been submitted to the American National Standards Institute and the International Organization for Standardization. It is being processed by the ANSI X3T2 committee and the ISO/IEC JTC1/SC22/WG11 working group. The specifications cover both integer and floating point arithmetic.