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
105
16
views
downloads
All versions This version
Views 105105
Downloads 1616
Data volume 54.9 GB54.9 GB
Unique views 8787
Unique downloads 1111

Share

Cite as