Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu
Programming by sketching for bit-streaming programs
PLDI, 2005.
@inproceedings{PLDI-2005-Solar-LezamaRBE,
author = "Armando Solar-Lezama and Rodric M. Rabbah and Rastislav Bodík and Kemal Ebcioglu",
booktitle = "{Proceedings of the 26th Conference on Programming Language Design and Implementation}",
doi = "10.1145/1065010.1065045",
editor = "Vivek Sarkar and Mary W. Hall",
isbn = "1-59593-056-6",
pages = "281--294",
publisher = "{ACM}",
title = "{Programming by sketching for bit-streaming programs}",
year = 2005,
}
Tags: