咖喱 swMATH ID: 8981 软件作者: M.Hanus、H.Kuchen、J.J.Moreno-Navarro 描述: Curry:一种真正的函数逻辑语言。函数和逻辑编程是最重要的声明式编程范式,过去十年来,人们对将它们结合起来的兴趣不断增长。然而,集成函数逻辑语言目前并没有得到广泛应用。这是因为操作原理没有被很好地理解,并且提出了许多不同的评估策略,导致了许多不同功能逻辑语言的出现。为了克服这种情况,我们提出了函数逻辑语言Curry,它可以作为这一领域的标准语言。它包含了现有函数逻辑语言的重要思想和最新发展,并结合了函数语言和逻辑语言的最重要特征。因此,Curry可以作为将函数编程和逻辑编程社区当前分离的研究工作结合起来的基础,并在总体上促进声明式编程。。。 主页: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7348 相关软件: 哈斯克尔;PAKCS公司;KiCS2系列;玩具;巴贝尔;莫德;水银;内核-叶;轻松检查;快速检查;毫升;欧兹;西洋陆军棋;OCaml公司;教堂;富贾巴语;AGG公司;进展;沟槽;PORGY公司 引用于: 42文件 全部的 前5名69位作者引用 9 玛丽亚·阿尔普特 8 塞尔吉奥·安托伊 7 莫雷诺,法拉斯基 7 迈克尔·哈纳斯 三 巴利斯,德米斯 三 维托尔·桑托斯·科斯塔 三 圣地亚哥埃斯科瓦尔 三 德国维达尔 2 艾尔维拉·阿尔伯特 2 科雷亚,弗朗西斯科·何塞 2 塞巴斯蒂安·费舍尔 2 马里奥弗洛里多 2 安迪·乔斯特 2 赫莱内·基什内尔 2 莫雷诺,吉纳斯 1 萨尔瓦多阿布雷乌 1 彼得·阿奇顿 1 鲁道夫·伯哈默 1 拉斐尔·E·卡巴列罗。 1 简·克里斯蒂安森 1 乔瓦尼·西亚托 1 弗朗西索·科雷亚 1 安吉尔·昆卡-奥尔特加 1 维罗妮卡·达尔 1 丹尼尔·迪亚兹 1 玛丽贝尔·费尔南德斯 1 戴安·加洛瓦·旺 1 拉蒙González del Campo 1 弗里茨·亨利恩 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 Hriţcu,科特林 1 弗兰克,哈 1 约翰·休斯 1 苏雷什·贾甘纳森 1 雅各布·约翰森 1 帕斯卡尔·朱利安 1 罗宾·卡斯加德 1 奥列格·基塞利约夫 1 彼得·科普曼 1 菲利普·科纳 1 拉尔夫·拉梅尔 1 莱昂尼达斯·兰普罗普洛斯 1 Leuschel,迈克尔 1 史蒂文·利比 1 弗雷德里克·林布拉德 1 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 1 Mikkel Kragh,Mathiesen 1 何塞·梅塞盖尔·瓜伊塔 1 何塞·弗朗西斯科·莫拉莱斯 1 马可·T·莫拉赞。 1 奥利维尔·纳特 1 南迪瓦达,V.Krishna 1 菲利普·尼德劳 1 彼得·帕达维茨 1 本杰明·皮尔斯。 1 马里奥·罗德里格斯-阿塔莱霍 1 胡安·罗德里格斯·霍塔拉 1 费尔南多·Sáenz-Pérez 1 詹姆·桑切斯·埃尔南德斯 1 朱莉娅·萨皮娜 1 曼弗雷德·施密特·沙乌 1 克劳斯·舒尔茨。 1 丹尼尔·塞德尔 1 Shan、Chung-chieh 1 安德鲁·托尔马赫 1 马克·范·埃克伦 1 Janis Voigtlander公司 1 Wielemaker,简 1 夏丽瑶 全部的 前5名7篇连载文章中引用 4 逻辑程序设计的理论与实践 2 理论计算机科学 2 符号计算杂志 2 高阶和符号计算 1 计算的形式方面 1 欧洲理论计算机科学协会公报 1 程序设计中的逻辑与代数方法杂志 在4个字段中引用 42 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 1 量子理论(81-XX) 按年份列出的引文