Combinatorial sketching for finite programs (2006)

by Armando Solar-Lezama , Liviu Tancau , Rastislav Bodik , Vijay Saraswat , Sanjit Seshia
Venue:IN 12TH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS 2006
Citations:46 - 14 self