Lightweight detection of physical unit inconsistencies without program annotations
ISSTA, pp. 341-351, 2017.
Systems interacting with the physical world operate on quantities measured with physical units. When unit operations in a program are inconsistent with the physical units' rules, those systems may suffer. Existing approaches to support unit consistency in programs can impose an unacceptable burden on developers. In this paper, we present ...More
Full Text (Upload PDF)
PPT (Upload PPT)