Skip to main content
Article thumbnail
Location of Repository

Well-Measuring Programs

By Phil Cook, Colin J. Fidge and David Hemer


Any program that measures quantities from its physical environment must compute using correct and consistent units of measurement. Such a program is described here as well-measuring. In many systems, particularly embedded control software, paying inadequate attention to units of measurement can result in catastrophe. Unfortunately, current programming languages and tools provide little aid to the programmer attempting to establish or verify the well-measuring property. We present a program analysis technique for inferring and checking the units used within a program. The technique combines traditional Hindley-Milner-style type inference with the use of Static Single Assignment (SSA) form to \ud enable analysis of imperative programs

Topics: Software engineering, Program analysis, Units of measurement
Publisher: IEEE
Year: 2006
DOI identifier: 10.1109/ASWEC.2006.56
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.