×

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

按年份列出的引文