September 8, 2020 Software Open Access

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

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>PUnits is a&nbsp;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&nbsp; is created for the OOPSLA 2020 artifact evaluation. Please see the README.md file for detail.</p>", 
  "license": "https://opensource.org/licenses/GPL-2.0", 
  "creator": [
    {
      "affiliation": "University of Waterloo", 
      "@id": "https://orcid.org/0000-0002-0939-3256", 
      "@type": "Person", 
      "name": "Xiang, Tongtong"
    }, 
    {
      "affiliation": "University of Waterloo", 
      "@type": "Person", 
      "name": "Luo, Jeff Yucong"
    }, 
    {
      "affiliation": "University of Waterloo", 
      "@id": "https://orcid.org/0000-0002-9316-6952", 
      "@type": "Person", 
      "name": "Dietl, Werner"
    }
  ], 
  "url": "https://zenodo.org/record/4061106", 
  "datePublished": "2020-09-08", 
  "version": "v1.0", 
  "keywords": [
    "Object oriented languages", 
    "Type structures", 
    "Program specifications", 
    "Program analysis", 
    "Program verification", 
    "Constraints"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4061106", 
  "@id": "https://doi.org/10.5281/zenodo.4061106", 
  "@type": "SoftwareSourceCode", 
  "name": "PUnits - Precise Inference of Expressive Units-of-Measurement Types"
}