Well-Measuring Programs

Cook, Phil, Fidge, Colin J., & Hemer, David (2006) Well-Measuring Programs. In Han, Jun & Staples, Mark (Eds.) Australian Software Engineering Conference (ASWEC 2006), 2006, Sydney.

View at publisher


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
enable analysis of imperative programs.

Impact and interest:

2 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

146 since deposited on 08 Nov 2006
4 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 5405
Item Type: Conference Paper
Refereed: Yes
Keywords: Software engineering, Program analysis, Units of measurement
DOI: 10.1109/ASWEC.2006.56
ISSN: 1530-0803
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2006 IEEE
Copyright Statement: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Deposited On: 08 Nov 2006 00:00
Last Modified: 29 Feb 2012 13:23

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page