An Analytical Inductive Functional Programming System that Avoids Unintended Programs
An Analytical Inductive Functional Programming System that Avoids Unintended Programs
复制标题
避免意外程序的分析归纳函数编程系统
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Susumu Katayama
中科院分区：
文献类型：
--
作者：
Susumu Katayama
登录
查看更多内容
I/O 引导的列表变形检测：针对 IP 中程序模板的特定问题使用
DOI：
10.1145/1706356.1706375
发表时间：
2010
期刊：
Artif. Intell.
影响因子：
--
作者：
M. Hofmann;E. Kitzelmann
通讯作者：
E. Kitzelmann
DOI：
10.1007/978-3-662-44923-3
发表时间：
2014-09
期刊：
--
影响因子：
--
作者：
Gerson Zaverucha;V. S. Costa;A. Paes
通讯作者：
Gerson Zaverucha;V. S. Costa;A. Paes
用于广度优先搜索的组合器
影响因子：
1.1
作者：
Michael Spivey
通讯作者：
Michael Spivey
强类型归纳函数编程自动化中强力搜索的威力
DOI：
10.1007/978-3-540-28633-2_10
发表时间：
2004
期刊：
Artif. Intell.
影响因子：
--
作者：
Susumu Katayama
通讯作者：
Susumu Katayama
将 IgorII 从 Maude 移植到 Haskell
影响因子：
4.2
作者：
M. Hofmann;E. Kitzelmann;Ute Schmid
通讯作者：
Ute Schmid