Article,
babble: Learning Better Abstractions with E-Graphs and Anti-Unification.
D. Cao, R. Kunkel, C. Nandi, M. Willsey, Z. Tatlock, and N. Polikarpova.CoRR, (2022)
Meta data
- BibTeX key
- journals/corr/abs-2212-04596
- entry type
- article
- year
- 2022
- journal
- CoRR
- volume
- abs/2212.04596
- ee
- https://doi.org/10.48550/arXiv.2212.04596
- url
- http://dblp.uni-trier.de/db/journals/corr/corr2212.html#abs-2212-04596
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/abs-2212-04596
%A Cao, David
%A Kunkel, Rose
%A Nandi, Chandrakana
%A Willsey, Max
%A Tatlock, Zachary
%A Polikarpova, Nadia
%D 2022
%J CoRR
%K dblp
%T babble: Learning Better Abstractions with E-Graphs and Anti-Unification.
%U http://dblp.uni-trier.de/db/journals/corr/corr2212.html#abs-2212-04596
%V abs/2212.04596
@article{journals/corr/abs-2212-04596,
added-at = {2023-01-02T00:00:00.000+0100},
author = {Cao, David and Kunkel, Rose and Nandi, Chandrakana and Willsey, Max and Tatlock, Zachary and Polikarpova, Nadia},
biburl = {https://www.bibsonomy.org/bibtex/27c5c53cca73f4740257477bfef1186cd/dblp},
ee = {https://doi.org/10.48550/arXiv.2212.04596},
interhash = {f916e77ceca4d406d5a0092d224073ad},
intrahash = {7c5c53cca73f4740257477bfef1186cd},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-08T22:50:48.000+0200},
title = {babble: Learning Better Abstractions with E-Graphs and Anti-Unification.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2212.html#abs-2212-04596},
volume = {abs/2212.04596},
year = 2022
}