JSketch: sketching for Java
JSketch: sketching for Java
复制标题
JSketch：Java 草图
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Armando Solar
中科院分区：
文献类型：
--
作者：
Jinseong Jeon;Xiaokang Qiu;J. Foster;Armando Solar
基于草图的合成，以Sketch工具为代表，允许开发人员从部分程序（也称为草图或模板）开始合成软件。本文介绍了JSketch，一个将基于草图的合成引入Java的工具。JSketch的输入是一个局部Java程序，其中可能包括洞（未知常量）、表达式生成器（表达式集合的范围）和类生成器（部分类）。然后JSketch将合成问题转化为Sketch问题；这种转换很复杂，因为Sketch不是面向对象的。最后，JSketch通过解释Sketch的输出合成了一个可执行的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 include holes, which are unknown constants, expression generators, which range over sets of expressions, and class generators, which are partial classes. JSketch then translates the synthesis problem into a Sketch problem; this translation is complex because Sketch is not object-oriented. Finally, JSketch synthesizes an executable Java program by interpreting the output of Sketch.