Combinatorial sketching for finite programs (2006)

by A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat
Venue:In ASPLOS