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文件 全部的 前5名23位作者引用 10 塞尔吉奥·安托伊 10 迈克尔·哈纳斯 7 伯恩德·布拉埃尔 3 塞巴斯蒂安·费舍尔 3 弗兰克,哈 2 简·克里斯蒂安森 2 安迪·乔斯特 2 安德鲁·托尔马赫 2 德国维达尔 1 艾尔维拉·阿尔伯特 1 玛丽亚·阿尔普特 1 鲁道夫·伯哈默 1 丹尼尔·布朗。 1 蒋苏辉 1 桑德拉·戴卢斯 1 莫雷诺,法拉斯基 1 帕斯卡尔·朱利安·伊兰佐 1 刘继萌 1 Bart C.Massey。 1 莫雷诺,吉纳斯 1 马吕斯·尼塔 1 费比安·雷克 1 蒂根,芬兰人 全部的 前5名7篇连载文章中引用 2 符号计算杂志 2 函数与逻辑编程杂志 1 理论计算机科学 1 逻辑程序设计杂志 1 新一代计算 1 计算的形式方面 1 逻辑程序设计理论与实践 在2个字段中引用 25 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文