Quantity Correctness in Fortran Programs

被引：1

作者：

Foster, Marcus P. ^{[1
]}

机构：

[1] CSIRO Informat Management & Technol, Clayton, Vic, Australia

来源：

COMPUTING IN SCIENCE & ENGINEERING | 2017年 / 19卷 / 04期

关键词：

UNITS;

D O I：

10.1109/MCSE.2017.3151237

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

The ISO/IEC Fortran standards working group states that the third most detectable type of error in scientific software is 'incorrect use of units of measurement' and has developed a draft specification for incorporating unit-checking into Fortran compilers. This article shows that unit-checking is insufficient to detect all quantity errors, and that kind-of-quantity also needs to be verified. A suggested syntax and program for a Fortran source-code preprocessor are given. © 1999-2011 IEEE.

引用

页码：83 / 87

页数：5

共 11 条

[1] Object-oriented units of measurement [J].

Allen, E ;

Chase, D ;

Luchangco, V ;

Maessen, JW ;

Steele, GL .

ACM SIGPLAN NOTICES, 2004, 39 (10) :384-403

[2]

[Anonymous], 2016, ISOIECJTC1SC22WG5

[3]

[Anonymous], 2008, INT VOC METR VIM BAS

[4]

[Anonymous], 2009, 8000012009 ISO

[5] Units-of-Measure Correctness in Fortran Programs [J].

Contrastin, Mistral ;

Rice, Andrew ;

Danish, Matthew ;

Orchard, Dominic .

COMPUTING IN SCIENCE & ENGINEERING, 2016, 18 (01) :102-107

[6]

Farrimond Brian, 2007, 2007 International Conference on Software Engineering Theory and Practice (SEPT-07), P152

[7] Quantities, units and computing [J].

Foster, Marcus P. .

COMPUTER STANDARDS & INTERFACES, 2013, 35 (05) :529-535

[8] UNITS OF MEASURE AS A DATA ATTRIBUTE [J].

GEHANI, N .

COMPUTER LANGUAGES, 1977, 2 (03) :93-111

[9]

Kennedy A.J., 1996, 391 U CAMBR COMP LAB

[10]

Stephenson A.G., 1999, Mars climate orbiter mishap investigation board phase 1 report

← 1 2 →