Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama
Data-driven synthesis for object-oriented frameworks
OOPSLA, 2011.
@inproceedings{OOPSLA-2011-YessenovXS, author = "Kuat Yessenov and Zhilei Xu and Armando Solar-Lezama", booktitle = "{Proceedings of the 26th Conference on Object-Oriented Programming, Systems, Languages and Applications}", doi = "10.1145/2048066.2048075", editor = "Cristina Videira Lopes and Kathleen Fisher", isbn = "978-1-4503-0940-0", pages = "65--82", publisher = "{ACM}", title = "{Data-driven synthesis for object-oriented frameworks}", year = 2011, }