Published September 8, 2020 | Version v1.0
Software Open

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

  • 1. University of Waterloo

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