使用示例传播的程序合成
摘要：Scrybe：一个基于示例的综合工具的静态类型的函数式编程语言的例子，它将从上到下的演绎推理与Smyth风格的双向实时评估相结合。在合成过程中，示例约束通过草图传播，以剪枝和指导搜索。这使得Scrybe能够更有效地利用上下文提供的函数。为了评估我们的工具，它在$lambda^2$和Myth的综合，大部分不重复的基准测试中运行。Scrybe能够合成大部分结合基准任务。
作者：Niek Mulleners, Johan Jeuring, Bastiaan Heeren
论文ID：2210.13873
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-10-26