Combinatorial sketching for finite programs (0)

by A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat
Venue:SIGOPS Oper. Syst. Rev