< back to main site

Publications

Testing Ada fixed point operations.

Wichmann, B (1997) Testing Ada fixed point operations. NPL Report. CISE 11/97

[img] Text
cise11.pdf

Download (4MB)

Abstract

Since errors have been noted in Ada 83 compilers in handling fixed point operations, a study has been undertaken to ensure such errors can be located easily. The report describes an automatic test case generator written in Prolog. Results of applying the generator to three Ada compilers are given, none of which were entirely satisfactory.

Item Type: Report/Guide (NPL Report)
NPL Report No.: CISE 11/97
Subjects: Mathematics and Scientific Computing
Mathematics and Scientific Computing > Numerical Computation
Last Modified: 02 Feb 2018 13:18
URI: http://eprintspublications.npl.co.uk/id/eprint/573

Actions (login required)

View Item View Item