Inproceedings,
Semantic program alignment for equivalence checking.
B. Churchill, O. Padon, R. Sharma, and A. Aiken.PLDI, page 1027-1040. ACM, (2019)
Meta data
- BibTeX key
- conf/pldi/ChurchillP0A19
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2019
- pages
- 1027-1040
- publisher
- ACM
- crossref
- conf/pldi/2019
- ee
- https://doi.org/10.1145/3314221.3314596
- isbn
- 978-1-4503-6712-7
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ChurchillP0A19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/ChurchillP0A19
%A Churchill, Berkeley R.
%A Padon, Oded
%A Sharma, Rahul
%A Aiken, Alex
%B PLDI
%D 2019
%E McKinley, Kathryn S.
%E Fisher, Kathleen
%I ACM
%K dblp
%P 1027-1040
%T Semantic program alignment for equivalence checking.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ChurchillP0A19
%@ 978-1-4503-6712-7
@inproceedings{conf/pldi/ChurchillP0A19,
added-at = {2019-06-09T00:00:00.000+0200},
author = {Churchill, Berkeley R. and Padon, Oded and Sharma, Rahul and Aiken, Alex},
biburl = {https://www.bibsonomy.org/bibtex/25012c35bdfb4c3528311117c0fdf9068/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2019},
editor = {McKinley, Kathryn S. and Fisher, Kathleen},
ee = {https://doi.org/10.1145/3314221.3314596},
interhash = {a91ba079d48466ed7a637279f0c661ae},
intrahash = {5012c35bdfb4c3528311117c0fdf9068},
isbn = {978-1-4503-6712-7},
keywords = {dblp},
pages = {1027-1040},
publisher = {ACM},
timestamp = {2019-06-11T11:37:50.000+0200},
title = {Semantic program alignment for equivalence checking.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#ChurchillP0A19},
year = 2019
}