Library for systematic search for expressions

Library for systematic search for expressions
复制标题

用于系统搜索表达式的库

DOI：
--
复制
发表时间：
2006
期刊：
--
影响因子：
--
通讯作者：
Susumu Katayama
Susumu Katayama
中科院分区：
--
文献类型：
--
作者：
Susumu Katayama

文献摘要

被引文献

相似文献

在我们以前的工作中，我们证明了归纳函数式程序自动化的系统搜索方法可以产生非常有效的算法，但所实现的程序的适用性受到所结合的解释程序非常差的限制。在这篇文章中，我们提出了一个基于库的系统搜索算法的实现，该算法应该与著名的Haskell解释器一起使用。
In our previous work we showed that systematic search approach to inductive functional programming automation makes a remarkably efficient algorithm, but the applicability of the implemented program was limited by the very poor interpreter incorporated. In this paper, we present a library-based implementation of our systematic search algorithm which is supposed to be used with a well-known Haskell interpreter.