Combinatorial sketching for finite programs (0)

by A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat
Venue:in ASPLOS-XII: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems