Software Open Access

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

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

BibTeX Export

@software{xiang_tongtong_2020_4061106,
  author       = {Xiang, Tongtong and
                  Luo, Jeff Yucong and
                  Dietl, Werner},
  title        = {{PUnits - Precise Inference of Expressive Units-of- 
                   Measurement Types}},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {v1.0},
  doi          = {10.5281/zenodo.4061106},
  url          = {https://doi.org/10.5281/zenodo.4061106}
}
134
21
views
downloads
All versions This version
Views 134134
Downloads 2121
Data volume 67.1 GB67.1 GB
Unique views 112112
Unique downloads 1414
More info on how stats are collected.
Indexed in
Publication date:
September 8, 2020
DOI:
10.5281/zenodo.4061106

Zenodo DOI Badge

DOI 

10.5281/zenodo.4061106

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4061106.svg)](https://doi.org/10.5281/zenodo.4061106)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4061106.svg
   :target: https://doi.org/10.5281/zenodo.4061106

HTML 

<a href="https://doi.org/10.5281/zenodo.4061106"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4061106.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4061106.svg

Target URL 

https://doi.org/10.5281/zenodo.4061106

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

Versions

Version v1.0 10.5281/zenodo.4061106 Sep 8, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4061105. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export