Journal article Open Access

Semantic Code Search via Equational Reasoning

Varot Premtoon; James Koppel; Armando Solar-Lezama


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>This artifact contains information needed to evaluate all claims in the paper. Specifically, it contains&nbsp;a Docker image and most sources, with:</p>\n\n<ol>\n\t<li>Yogo</li>\n\t<li>Test scripts configured to run Yogo on its benchmarks</li>\n</ol>\n\n<p>It further contains logs of previous runs of Yogo on the benchmarks, and scripts to analyze the results.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "MIT", 
      "@type": "Person", 
      "name": "Varot Premtoon"
    }, 
    {
      "affiliation": "MIT", 
      "@type": "Person", 
      "name": "James Koppel"
    }, 
    {
      "affiliation": "MIT", 
      "@type": "Person", 
      "name": "Armando Solar-Lezama"
    }
  ], 
  "headline": "Semantic Code Search via Equational Reasoning", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "2020-04-07", 
  "url": "https://zenodo.org/record/3743160", 
  "version": "1.0.0", 
  "contributor": [
    {
      "affiliation": "ByteAlly", 
      "@type": "Person", 
      "name": "Sreenidhi Nair"
    }
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3743160", 
  "@id": "https://doi.org/10.5281/zenodo.3743160", 
  "@type": "ScholarlyArticle", 
  "name": "Semantic Code Search via Equational Reasoning"
}
73
10
views
downloads
All versions This version
Views 7373
Downloads 1010
Data volume 11.9 GB11.9 GB
Unique views 6868
Unique downloads 1010

Share

Cite as