SPT: Storyboard Programming Tool
Name
Solar-Lezama_SPT storyboard.pdf
Size
577.05 KB
Format
Adobe PDF
Checksum (MD5)
66fc8b034723ff087180bb62b7b52a60
Author(s)
Singh, Rishabh
Solar-Lezama, Armando
Date Issued
2012
Journal
Computer Aided Verification
Publisher
Springer-Verlag
Citation
Singh, Rishabh, and Armando Solar-Lezama. “SPT: Storyboard Programming Tool.” Lecture Notes in Computer Science (2012): 738–743.
Version
Author's final manuscript
Abstract
We present Spt, a tool that helps programmers write low-level 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 implementing efficient low-level pointer manipulating code is error-prone. Our tool aims to bridge the gap between the intuition and the corresponding implementation by automatically synthesizing the implementation. The tool frames the synthesis problem as a generalization of an abstract-interpretation based shape analysis, and represents the problem as a set of constraints which are solved efficiently by the Sketch solver. We report the successful evaluation of our tool on synthesizing several linked list and binary search tree manipulations.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/978-3-642-31424-7_58
