Location of Repository

Well-Measuring Programs

By Phil Cook, Colin J. Fidge and David Hemer

Abstract

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: oai:eprints.qut.edu.au:5405

Suggested articles

Preview


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