SPT: Storyboard Programming Tool

Abstract

We present Spt, a tool that helps programmers write lowlevel data-structure manipulations by combining various forms of insights such as abstract and concrete input-output examples as well as implementation skeletons. When programmers write such manipulations, they typically have a clear high-level intuition about how the manipulation should work, but… (More)
DOI: 10.1007/978-3-642-31424-7_58

Topics

5 Figures and Tables

Cite this paper

@inproceedings{Singh2012SPTSP, title={SPT: Storyboard Programming Tool}, author={Rishabh Singh and Armando Solar-Lezama}, booktitle={CAV}, year={2012} }