Lightweight detection of physical unit inconsistencies without program annotations

ISSTA, pp. 341-351, 2017.

Cited by: 15|Bibtex|Views17|DOI:https://doi.org/10.1145/3092703.3092722
EI
Other Links: dblp.uni-trier.de|dl.acm.org|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments