函数程序的归纳综合:一种基于解释的泛化方法
伊曼纽尔·基泽尔曼(Emanuel Kitzelmann),尤特·施密德(Ute Schmid); 7(15):429−454, 2006.
摘要
我们描述了递归归纳综合的一种方法基于经典的输入/输出示例的方程功能性Lisp程序归纳的两步方法萨默斯(1977)。在第一步中,I/O示例被重写为解释输出的轨迹,根据数据类型理论。这些跟踪可以集成到一个条件表示非递归程序的表达式。一秒钟后步骤,此初始程序项被推广为递归通过搜索术语中的语法规则来求解方程。我们的该方法在几个方面扩展了经典工作。最多重要的扩展是我们能够诱导设置属于递归方程在一个合成步骤中,方程可以包含多个递归调用,并且还需要自动引入参数。
[腹肌]
[pdf格式][围兜]