Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool

ISSTA, pp. 352-355, 2017.

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

Abstract:

Systems that interact with the physical world use software that represents and manipulates physical quantities. To operate correctly, these systems must obey the rules of how quantities with physical units can be combined, compared, and manipulated. Incorrectly manipulating physical quantities can cause faults that go undetected by the ty...More

Code:

Data:

Your rating :
0

 

Tags
Comments