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, Foster, Jeffrey S., Solar Lezama, Armando, Qiu, Xiaokang
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2017
Online Access:http://hdl.handle.net/1721.1/112345
https://orcid.org/0000-0001-7604-8252
https://orcid.org/0000-0001-9476-7349

Internet

http://hdl.handle.net/1721.1/112345
https://orcid.org/0000-0001-7604-8252
https://orcid.org/0000-0001-9476-7349

Similar Items