Schema-guided synthesis of imperative programs by constraint solving (2004)

by Michael Colón
Venue:In LOPSTR