JSketch: Sketching for Java

JSketch: Sketching for Java

Sketch-based synthesis, epitomized by the Sketch tool, lets developers synthesize software starting from a partial program, also called a sketch or template. This paper presents JSketch, a tool that brings sketch-based synthesis to Java. JSketch's input is a partial Java program that may includ...

Full description

Bibliographic Details
Main Authors: Jeon, Jinseong (Author), Foster, Jeffrey S. (Author), Solar Lezama, Armando (Contributor), Qiu, Xiaokang (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Association for Computing Machinery (ACM), 2017-12-01T20:47:00Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items