Types for Units-of-Measure: Theory and Practice

@inproceedings{Kennedy2009TypesFU,
  title={Types for Units-of-Measure: Theory and Practice},
  author={Andrew Kennedy},
  booktitle={CEFP},
  year={2009}
}
  • Andrew Kennedy
  • Published in CEFP 2009
  • Computer Science
  • Units-of-measure are to science what types are to programming. In science and engineering, dimensional and unit consistency provides a first check on the correctness of an equation or formula, just as in programming the validation of a program by the type-checker eliminates one possible reason for failure. 

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 40 CITATIONS

    FILTER CITATIONS BY YEAR

    2009
    2020

    CITATION STATISTICS

    • 3 Highly Influenced Citations

    References

    Publications referenced by this paper.