Automated computation and consistency checking of physical dimensions and units in scientific programs

@article{Petty2001AutomatedCA,
  title={Automated computation and consistency checking of physical dimensions and units in scientific programs},
  author={Grant W. Petty},
  journal={Software: Practice and Experience},
  year={2001},
  volume={31}
}
  • G. Petty
  • Published 1 September 2001
  • Computer Science
  • Software: Practice and Experience
Physical dimensions and units form an essential part of the specification of constants and variables occurring in scientific programs, yet no standard compilable programming language implements direct support for automated dimensional consistency checking and unit conversion. This paper describes a conceptual basis and prototype implementation for such support within the framework of the standard Fortran 90 language. This is accomplished via an external module supplying appropriate user data… 
Automatic dimension inference and checking for object-oriented programs
  • S. Hangal, M. Lam
  • Computer Science
    2009 IEEE 31st International Conference on Software Engineering
  • 2009
TLDR
UniFi infers dimensional relationships across primitive type and string variables in a program, using an inter-procedural, context-sensitive analysis, and supports arbitrary program-specific dimensions, thus providing fine-grained dimensional consistency checking.
Unit & dynamic typing in hybrid systems modeling with CHARON
  • M. Anand, I. Lee, George Pappas, O. Sokolsky
  • Computer Science
    2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control
  • 2006
TLDR
This paper proposes an extension of the basic type system in CHARON, a language for modeling of hybrid systems, to include unit and dynamic data types, and introduces dynamic data typing, that allows programmers to specify entities that bind at runtime.
Checking SCADE Models for Correct Usage of Physical Units
TLDR
A developer friendly approach is described of providing checking functionality in SCADE, a model-based graphical development tool for safety-critical embedded applications, if information on the units of the used variables is provided.
Checking Data Flow Models for Correct Use of Physical Units
TLDR
This paper describes how such errors can be detected in data flow computational models, keeping the additional workload for the model developer to a minimum, and illustrates the usability of the taken approach.
Annotation-less Unit Type Inference for C
TLDR
This work proposes to create an analysis that can infer the unit types of variables in C programs such that the units type discipline holds across all expressions in the program.
Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis
  • M. Stewart
  • Computer Science
    International Conference on Computational Science
  • 2005
This paper presents an implementation of a technique for automated, rigorous scientific program comprehension and error detection. The procedure analyzes fundamental semantic concepts during a
Dimensional Inference Using Symbol Lives
TLDR
A novel approach which employs the concept of symbol lives to analyse the dimensional implications of the users source code, implemented for Fortran programs in the software engineering toolkit, WinFPT, is described.
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis
  • M. Stewart
  • Computer Science
    29th Annual IEEE/NASA Software Engineering Workshop
  • 2005
TLDR
An implementation and critical analysis of a technique for automated, rigorous scientific program comprehension and error detection and one key challenge is examined, namely ensuring reliability during the symbolic execution/semantic analysis procedure.
Modern Fortran in Practice
TLDR
This tutorial guide shows Fortran programmers how to apply features of the latest standard, Fortran 2008, in twenty-first-century style: modular, concise, object-oriented, and resource-efficient, using multiple processors.
...
...

References

SHOWING 1-2 OF 2 REFERENCES
A Java Extension with Support for Dimensions
TLDR
The original Java language specification defines a method signature that consists of the name of the method and the number and types of formal parameters to the method, and an extra requirement is now that the dimensions of the formal and actual parameters match.
Guide for the Use of the International System of Units (SI)
TLDR
The body that regulates the acceleration of free fall, standard ( gn) and the law of averages ( laws of physics) are applied.