KiCS2系列 swMATH ID: 7613 软件作者: 伯恩德·布拉埃尔;迈克尔·哈努斯(Michael Hanus);皮默勒,比约恩;费比安·雷克 描述: KiCS2:从Curry到Haskell的新编译器。在这篇文章中,我们介绍了构建一个新系统的第一步,该系统将源语言Curry的函数逻辑程序编译为纯函数Haskell程序。我们的实现基于将非确定性结果表示为与结果对应的数据类型值的思想。这使得可以应用各种搜索策略从搜索空间中提取值。我们通过几个基准测试表明,我们的实现可以与Curry的其他现有实现竞争或优于其他现有实现。 主页: http://www-ps.informatik.uni-kiel.de/kics2/ 相关软件: 咖喱;哈斯克尔;PAKCS公司;教堂;轻松检查;玩具;水银;瑞士;工厂;扁平咖喱;PFLP公司;ProbLog(问题日志);小支票;运动(Locomotif);Dyna公司;RNAforester公司;纳莫蒂夫;法国皇家医学会;OCaml公司 引用于: 8文件 标准条款 1出版物描述软件 年份 KiCS2:从Curry到Haskell的新编译器伯恩德·布拉埃尔;迈克尔·哈努斯(Michael Hanus);比约恩,皮默勒;费比安·雷克 2011 全部的 前5名11位作者引用 4 塞尔吉奥·安托伊 4 迈克尔·哈纳斯 1 简·克里斯蒂安森 1 桑德拉·戴卢斯 1 塞巴斯蒂安·费舍尔 1 罗伯特·吉格里奇 1 乔斯特,安迪 1 奥列格·基塞利约夫 1 单忠杰 1 蒂根,芬兰人 1 海莱内·图泽特 3篇连载文章中引用 3 逻辑程序设计理论与实践 1 计算的形式方面 1 算法 在3个字段中引用 8 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文