Inproceedings,
Data-driven synthesis for object-oriented frameworks.
K. Yessenov, Z. Xu, and A. Solar-Lezama.OOPSLA, page 65-82. ACM, (2011)
Meta data
- BibTeX key
- conf/oopsla/YessenovXS11
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 2011
- pages
- 65-82
- publisher
- ACM
- crossref
- conf/oopsla/2011
- ee
- https://doi.org/10.1145/2076021.2048075
- isbn
- 978-1-4503-0940-0
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011.html#YessenovXS11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/YessenovXS11
%A Yessenov, Kuat
%A Xu, Zhilei
%A Solar-Lezama, Armando
%B OOPSLA
%D 2011
%E Lopes, Cristina Videira
%E Fisher, Kathleen
%I ACM
%K dblp
%P 65-82
%T Data-driven synthesis for object-oriented frameworks.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011.html#YessenovXS11
%@ 978-1-4503-0940-0
@inproceedings{conf/oopsla/YessenovXS11,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Yessenov, Kuat and Xu, Zhilei and Solar-Lezama, Armando},
biburl = {https://www.bibsonomy.org/bibtex/276905b3dc07afb2424ff5a31afc603d4/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2011},
editor = {Lopes, Cristina Videira and Fisher, Kathleen},
ee = {https://doi.org/10.1145/2076021.2048075},
interhash = {d0d883d5256d6f1ad97c9ac23627e4d5},
intrahash = {76905b3dc07afb2424ff5a31afc603d4},
isbn = {978-1-4503-0940-0},
keywords = {dblp},
pages = {65-82},
publisher = {ACM},
timestamp = {2024-04-09T11:43:03.000+0200},
title = {Data-driven synthesis for object-oriented frameworks.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011.html#YessenovXS11},
year = 2011
}