论文标题
使用示例传播的程序合成
Program Synthesis Using Example Propagation
论文作者
论文摘要
我们提出了Scrybe，这是一种基于典型的功能编程语言的基于示例的合成工具，该工具以$λ^2 $的样式与Smyth风格的实时双向评估结合了自上而下的演绎推理。在合成过程中，示例约束通过草图传播以修剪和指导搜索。这使Scrybe能够更有效地利用上下文中提供的功能。为了评估我们的工具，它是在$λ^2 $和神话的总和，基本上不相交的基准上运行的。 Scrybe能够合成大多数组合的基准任务。
We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines top-down deductive reasoning in the style of $λ^2$ with Smyth-style live bidirectional evaluation. During synthesis, example constraints are propagated through sketches to prune and guide the search. This enables Scrybe to make more effective use of functions provided in the context. To evaluate our tool, it is run on the combined, largely disjoint, benchmarks of $λ^2$ and Myth. Scrybe is able to synthesize most of the combined benchmark tasks.
