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={G. Petty},
  journal={Software: Practice and Experience},
  year={2001},
  volume={31}
}
  • G. Petty
  • Published 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… Expand
Evolving Fortran types with inferred units-of-measure
Automatic dimension inference and checking for object-oriented programs
  • S. Hangal, M. Lam
  • Computer Science
  • 2009 IEEE 31st International Conference on Software Engineering
  • 2009
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
Checking SCADE Models for Correct Usage of Physical Units
Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis
  • M. Stewart
  • Computer Science
  • International Conference on Computational Science
  • 2005
Dimensional Inference Using Symbol Lives
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
Modern Fortran in Practice
...
1
2
3
...

References

SHOWING 1-2 OF 2 REFERENCES
A Java Extension with Support for Dimensions
Guide for the Use of the International System of Units (SI)