Programming by sketching for bit-streaming programs (0)

by A Solar-Lezama, R Rabbah, R Bodík, K Ebcioğlu
Venue:In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI’05