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 |
134
21
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 134 | 134 |
| Downloads | 21 | 21 |
| Data volume | 67.1 GB | 67.1 GB |
| Unique views | 112 | 112 |
| Unique downloads | 14 | 14 |
Indexed in
- Publication date:
- September 8, 2020
- DOI:
-
- Keyword(s):
- Object oriented languages Type structures Program specifications Program analysis Program verification Constraints
- License (for files):
- GNU General Public License v2.0 or later