×

PAKCS公司

swMATH ID: 13688
软件作者: M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner
描述: PAKCS是波特兰州立大学、亚琛理工大学和基尔大学联合开发的多参数声明语言Curry的实现。虽然这不是一个高度优化的实现,但基于将Curry程序高级编译为Prolog程序,它不是一个玩具实现,但已用于各种应用程序(例如,图形编程环境、Curry的面向对象前端、部分计算器、数据库应用程序、动态网页的HTML编程、嵌入式系统原型制作)。因此,使用PAKCS实现的所有当前Curry应用程序的大小总计超过100000行(或5 MB)程序代码。有一本手册(PDF)描述了系统的使用以及与Curry相比PAKCS的次要限制。由于本文档仅将PAKCS与Curry进行了比较,您可以查看描述完整语言的Curry报告
主页: http://www.informatik.uni-kiel.de/~块/
相关软件: 玩具;咖喱;哈斯克尔;巴贝尔;KiCS2系列;内核LEAF;水银;轻松检查;帽子;茶包;欧兹;瑞士;工厂;教堂;扁平咖喱;PFLP公司;;芙蕾雅;对象货币;ProbLog(问题日志)
引用于: 25文件

按年份列出的引文