Journal article Open Access

Semantic Code Search via Equational Reasoning

Varot Premtoon; James Koppel; Armando Solar-Lezama


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3743160", 
  "language": "eng", 
  "title": "Semantic Code Search via Equational Reasoning", 
  "issued": {
    "date-parts": [
      [
        2020, 
        4, 
        7
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Varot Premtoon"
    }, 
    {
      "family": "James Koppel"
    }, 
    {
      "family": "Armando Solar-Lezama"
    }
  ], 
  "version": "1.0.0", 
  "type": "article-journal", 
  "id": "3743160"
}
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