Journal article Open Access

Semantic Code Search via Equational Reasoning

Varot Premtoon; James Koppel; Armando Solar-Lezama


BibTeX Export

@misc{varot_premtoon_2020_3743160,
  author       = {Varot Premtoon and
                  James Koppel and
                  Armando Solar-Lezama},
  title        = {Semantic Code Search via Equational Reasoning},
  month        = apr,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {1.0.0},
  doi          = {10.5281/zenodo.3743160},
  url          = {https://doi.org/10.5281/zenodo.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