April 8, 2022 Software Open Access

Matsushita, Yusuke; Denis, Xavier; Jourdan, Jacques-Henri; Dreyer, Derek

JSON-LD (schema.org) Export

{
  "description": "<p>Artifact accompanying PLDI 2022 submission</p>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "University of Tokyo", 
      "@type": "Person", 
      "name": "Matsushita, Yusuke"
    }, 
    {
      "affiliation": "Universit\u00e9 Paris-Saclay, CNRS, INRIA", 
      "@type": "Person", 
      "name": "Denis, Xavier"
    }, 
    {
      "affiliation": "Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay", 
      "@type": "Person", 
      "name": "Jourdan, Jacques-Henri"
    }, 
    {
      "affiliation": "MPI-SWS", 
      "@type": "Person", 
      "name": "Dreyer, Derek"
    }
  ], 
  "url": "https://zenodo.org/record/6426048", 
  "datePublished": "2022-04-08", 
  "version": "1", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.6426048", 
  "@id": "https://doi.org/10.5281/zenodo.6426048", 
  "@type": "SoftwareSourceCode", 
  "name": "RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code, Artifact"
}