水银 swMATH编号: 8333 软件作者: mercurylang.org网站 描述: Mercury是一种逻辑/函数编程语言,它将声明式编程的清晰性和表达性与高级静态分析和错误检测功能结合在一起。其高度优化的执行算法提供的效率远远超过现有逻辑编程系统,接近于传统编程系统。Mercury解决了大规模程序开发的问题,允许模块化、单独编译和大量优化/时间权衡。 主页: 网址:https://mercurylang.org/ 相关软件: 哈斯克尔;幼儿保育和教育;咖喱;CiaoPP公司;Ciao公司;SIC斯图斯;DPPD公司;玩具;wamcc公司;PAKCS公司;巴贝尔;SWI-预测;XSB公司;欧兹;github;序言;YAP-序言;VeriFly公司;SeaHorn公司;KiCS2系列 引用于: 75文件 全部的 前5名119位作者引用 9 曼努埃尔五世(Manuel V.Hermenegildo)。 6 莫里斯·布鲁诺 6 迈克尔·哈纳斯 6 汤姆·施里杰弗斯 5 杰尔达·詹森斯 5 Michael Leuschel先生 5 佐尔坦·索莫吉 4 维托尔·桑托斯·科斯塔 4 何塞·弗朗西斯科·莫拉莱斯 4 德国普埃布拉 4 彼得·詹姆斯·斯塔基 4 温·范霍夫 3 艾尔维拉·阿尔伯特 3 布埃诺,弗朗西斯科 3 约翰·加拉赫(John P.Gallagher)。 3 帕特里夏·M·希尔。 3 国王,安迪 3 弗雷德·梅斯纳德 3 潘、权 3 彼得·沙赫特 3 德国维达尔 2 丹尼尔·卡贝扎 2 曼纽尔·卡罗 2 弗朗索瓦·迪尔瓦夫 2 巴特·德梅恩 2 米雷尔·杜卡斯 2 马里奥弗洛里多 2 米盖尔·戈梅斯·扎马洛亚 2 弗格斯·亨德森 2 杰斯珀·约根森 2 佩德罗·洛佩兹·加西亚 2 马ł斯基,简 2 南希·玛祖尔 2 埃蒂安·佩耶特 2 斯马乌斯,Jan-Georg 2 马克·华莱士。 2 Wielemaker,简 1 萨尔瓦多阿布雷乌 1 玛丽亚·阿尔普特 1 詹姆斯·H·安德鲁斯。 1 塞尔吉奥·安托伊 1 斯特凡·贝尔霍费尔 1 波恩,保罗 1 布兰德,塞巴斯蒂安 1 卢卡斯·布尔瓦恩 1 阿马迪奥·卡萨斯 1 Manuel M.T.查克拉瓦蒂。 1 乔瓦尼·西亚托 1 罗伯特·J·科尔文。 1 托马斯·奥利弗·康威 1 斯蒂芬·克雷格 1 詹姆斯·库森 1 达尔,维罗妮卡 1 莱斯利·德·科宁克 1 丹尼·德·施雷耶 1 丹尼尔·迪亚兹 1 德拉本特,Włodzimierz 1 丹·埃尔菲克 1 蒂鲍特·费迪 1 皮埃尔·弗莱纳 1 算了吧,贝诺特 1 格雷姆·恒河 1 伊莎贝尔·加西亚·孔特雷拉斯 1 玛丽亚·加西亚·德拉班达 1 罗伯特·格莱克 1 伊莎贝·格尼迪格 1 伯恩哈德Gramlich 1 蒂博尔·吉莫西 1 弗洛里安·哈夫特曼 1 伊恩·海耶斯。 1 弗里茨·亨利恩 1 雅各布·M·豪。 1 埃尔万·贾伊尔 1 罗宾·卡斯加德 1 赫莱内·基什内尔 1 菲利普·科纳 1 刘恭桥 1 维森特·里恩 1 杰德·刘 1 洛克,亨德里克·C·R。 1 佩德罗·贝洛·洛佩兹 1 卢、伦金 1 萨尔瓦多卢卡斯 1 万豪酒店,Kim 1 丹尼尔·马歇尔。 1 伯尔尼马滕斯 1 马丁内斯·罗德里格斯,布莱恩 1 米克尔·克拉·马西森 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 安德鲁·迈尔斯(Andrew C.Myers)。 1 李·奈什 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 尼古拉斯·奈瑟科特 1 乌尔里希·纽默克尔 1 多米尼克·A·乌节。 1 阿尔贝托·佩特罗西 1 佩特扎克 1 毛里齐奥·普罗埃蒂 1 雅各布·普钦格 1 雷扎·拉斐 …还有19位作者 全部的 前5名15篇连载文章中引用 16 逻辑程序设计理论与实践 5 逻辑程序设计杂志 3 约束条件 2 理论计算机科学 1 人工智能 1 信息处理信件 1 计算物理杂志 1 计算机语言 1 新一代计算 1 计算的形式方面 1 机器学习 1 逻辑与计算杂志 1 高阶和符号计算 1 函数与逻辑编程杂志 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 73 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 统计学(62-XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文