publication . Article . Other literature type . 2020

Semantic Code Search via Equational Reasoning

Varot Premtoon; Koppel, James; Solar-Lezama, Armando;
Open Access English
  • Published: 07 Apr 2020
Abstract
This artifact contains information needed to evaluate all claims in the paper. Specifically, it contains a Docker image and most sources, with: Yogo Test scripts configured to run Yogo on its benchmarks It further contains logs of previous runs of Yogo on the benchmarks, and scripts to analyze the results.
Download fromView all 3 versions
ZENODO
Article . 2020
Provider: ZENODO
Zenodo
Other literature type . 2020
Provider: Datacite
Zenodo
Other literature type . 2020
Provider: Datacite
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue