Software Open Access

PUnits - Precise Inference of Expressive Units-of-Measurement Types

Xiang, Tongtong; Luo, Jeff Yucong; Dietl, Werner

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 (6.1 GB)
Name Size
punits-artifact.tar.gz
md5:22257f18e759d2e1ebb6a5f2305cd5d8
6.1 GB Download
README.md
md5:6780449298925358a12bd0289c8e12e3
13.1 kB Download
133
21
views
downloads
All versions This version
Views 133133
Downloads 2121
Data volume 67.1 GB67.1 GB
Unique views 111111
Unique downloads 1414

Share

Cite as