From dirt to shovels: fully automatic tool generation from ad hoc data (2008)

by K Fisher, D Walker, K Q Zhu, P White
Venue:In POPL