Published September 8, 2020
| Version v1.0
Software
Open
PUnits - Precise Inference of Expressive Units-of-Measurement Types
Description
PUnits is a pluggable type system for expressive units of measurement types and a precise, whole-program inference approach for these types. PUnits can be used in three modes: (1) modularly check the correctness of a program, (2) ensure a possible unit typing exists, (3) annotate a program with units. This contains a docker image that is created for the OOPSLA 2020 artifact evaluation. Please see the README.md file for detail.
Files
README.md
Files
(6.1 GB)
Name | Size | Download all |
---|---|---|
md5:22257f18e759d2e1ebb6a5f2305cd5d8
|
6.1 GB | Download |
md5:6780449298925358a12bd0289c8e12e3
|
13.1 kB | Preview Download |