JSKETCH：Java草图
JSKETCH: Sketching for Java
摘要：
以SKETCH工具为代表的基于草图的合成，允许开发人员从部分程序开始合成软件，也称为草图或模板。本文介绍了JSKETCH，一个将基于草图的合成引入Java的工具。JSKETCH的输入是一个部分Java程序，它可能包括hole（未知常量）、expression generators（表达式生成器）和class generators（类生成器）。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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
