Software Open Access
PUnits - Precise Inference of Expressive Units-of-Measurement Types
Xiang, Tongtong;
Luo, Jeff Yucong;
Dietl, Werner
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.4061106",
"language": "eng",
"title": "PUnits - Precise Inference of Expressive Units-of-Measurement Types",
"issued": {
"date-parts": [
[
2020,
9,
8
]
]
},
"abstract": "<p>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.</p>",
"author": [
{
"family": "Xiang, Tongtong"
},
{
"family": "Luo, Jeff Yucong"
},
{
"family": "Dietl, Werner"
}
],
"version": "v1.0",
"type": "article",
"id": "4061106"
}
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