.png){kind=icon}
返回
Synthesizing Accumulative Functions Via Program Transformation
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99751-8_15.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
累加函数，如尾递归函数，使用累加参数来携带和更新中间结果。尽管它们普遍存在且对高效实现至关重要，但自动合成累加函数仍具挑战性。累加参数的存在不仅扩大了搜索空间，还使输入-输出示例与递归调用的轨迹脱离，导致现有程序合成方法要么无法生成非平凡的累加函数，要么依赖预提供的含累加的递归调用框架。本文研究了一种合成累加函数的替代方法。我们的策略整合了一个通用合成器（可能本身不生成累加函数）和一个程序转换，从非累加函数推导出累加函数。我们特别关注Kuhnemann等人（RTA 2001）引入的转换，该转换在非累加函数包含替换算子时能有效推导出累加函数。通过引导合成器使用替换算子，我们旨在获得适合转换的函数。我们通过现有基准中的示例展示了该方法的能力。
Keyword:
Program synthesis
Accumulative function
Program transformation
期刊
T
IF:
0
论文数:
20
被引数:
0
机构
引用论文
.png){kind=icon}
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions从非递归表达式归纳合成结构递归的功能性程序
OAAI
OAAI分享收藏
查看更多内容