毫升 swMATH ID: 1218 软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学 描述: ML(“元语言”)是一种通用函数编程语言。它源于Lisp,并被描述为“带类型的Lisp”。它以使用多态Hindley–Milner类型系统而闻名,该系统自动分配大多数表达式的类型,而不需要显式类型注释,并确保类型安全–有一个正式的证据表明,一个类型良好的ML程序不会导致运行时类型错误。[1] ML为函数参数、垃圾收集、命令式编程、按值调用和currying提供模式匹配。它在编程语言研究中被大量使用,并且是使用形式语义完全指定和验证的少数语言之一。它的类型和模式匹配使它非常适合并常用于操作其他形式语言,例如在编译器编写、自动定理证明和形式验证中。(维基百科) 主页: http://smlnj.org/sml97.html 相关软件: HOL公司;Coq公司;伊莎贝尔;伊莎贝尔/HOL;哈斯克尔;HOL灯;PVS公司;Nuprl公司;低成本融资;自动化;ACL2型;非对称性;存档正式证据;VAMPIRE公司;米兰达;乐高;米扎尔;伊萨尔;OCaml公司;开普勒98 引用于: 516文件 标准条款 4出版物描述软件,包括4出版物以zbMATH为单位 年份 HOL简介。高阶逻辑的定理证明环境。 Zbl 0779.68007号迈克·戈登。(编辑);梅勒姆,T.F。(编辑) 1993 ML编程的要素。 Zbl 0821.68025号杰弗里·乌尔曼。 1993 工作程序员的ML。 Zbl 0746.68019号劳伦斯·C·保尔森。 1990 编程中的类型多态理论。 Zbl 0388.68003号罗宾·米尔纳 1978 全部的 前5名738位作者引用 19 奥斯曼·哈桑 19 塔哈尔,索菲亚 11 劳伦斯·查尔斯·保尔森 10 贾斯敏·克里斯蒂安·布兰切特 9 托比亚斯·尼普科 7 安德烈·塔莱基 6 罗伯特·哈珀 6 安德鲁·皮特斯(Andrew M.Pitts)。 6 安德烈·波佩斯库 5 哈桑·阿姆贾德 5 塞萨里·卡利西克 5 戴尔·艾伦·米勒 5 普雷特纳,马蒂亚 5 格里高·罗什乌 5 ☑特拉安·弗洛林(Traian Florin) 5 康拉德·斯林德 5 范·贝克尔,斯特芬 5 菲利普·李·沃德勒 4 David A.Basin。 4 克里斯托夫·埃瓦尔德·本兹穆勒 4 理查德·博尔顿。 4 马里奥·科普 4 Farmer,William M。 4 马里奥弗洛里多 4 简·赫尔曼·杰弗斯 4 本田、高黑 4 阿萨夫·科福里。 4 昆查尔,Ondřej 4 J Strother摩尔 4 斯科特·欧文斯 4 弗兰克,普芬宁 4 唐纳德·桑内拉。 4 托夫特,疯子 4 约瑟夫·乌尔班 4 Tjark韦伯 4 Wells,Joe B。 4 马卡里乌斯·温泽尔 4 吉田、Nobuko 三 萨姆森·艾布拉姆斯基 三 Böhme,萨沙 三 卢卡斯·布尔瓦恩 三 维托尔·桑托斯·科斯塔 三 马里亚纽拉州Dezani-Ciancaglini 三 段振华 三 多米尼克·达根 三 艾米·费尔蒂(Amy P.Felty)。 三 杰拉德·P·休特。 三 赫德,乔 三 李永健 三 何塞·梅塞盖尔·瓜伊塔 三 约翰·米切尔(John C.Mitchell)。 三 彼得·莫塞斯(Peter D.Mosses)。 三 安德烈·穆拉夫斯基。 三 玛格努斯·奥·米林。 三 罗伯·奈德佩尔特 三 弗莱明·尼尔森 三 史蒂文·奥布阿 三 Atsushi Ohori 三 约翰·H·Reppy。 三 西蒙娜·隆奇·德尔拉·罗卡 三 汤姆·施里杰弗斯 三 宋晓宇 三 田聪 三 德米特里·特拉泰尔 三 尼科斯·齐夫列科斯 三 詹姆斯·C·P·伍德科克。 三 张楠 2 纳伊姆·阿巴斯 2 彼得·阿奇顿 2 马克·亚当斯 2 艾哈迈德·瓦卡尔 2 贝扎德·阿克巴普尔 2 安德鲁斯,彼得·B·。 2 理查德·巴纳赫 2 安德烈·鲍尔 2 亚历山大·本特坎普 2 尼克·本顿 2 马丁·伯杰(Martin J.Berger)。 2 伊夫·贝托特 2 拉尔斯·比克达尔 2 安·布兰德福德 2 乍得·布朗·爱德华 2 卢卡·卡德利 2 安娜·卡瓦尔坎蒂 2 保罗·库松 2 费卢西奥·达米亚尼 2 奥利维尔·丹维 2 大卫·德拉哈耶 2 理查德·艾森伯格。 2 玛丽贝尔·费尔南德斯 2 凯萨琳·费希尔 2 雅克·弗莱里奥特。 2 马蒂亚斯·弗勒里 2 Fluet,Matthew T。 2 帕斯卡·方丹 2 西蒙·福斯特 2 尼库·弗鲁贾。 2 默多克·詹姆斯·加贝 2 盖伊,西蒙·J。 2 关勇 …还有638位作者 全部的 前5名51篇连载文章中引用 82 理论计算机科学 51 自动推理杂志 30 信息与计算 23 计算的形式方面 20 函数编程杂志 13 符号计算杂志 11 高阶和符号计算 11 应用逻辑杂志 10 系统设计中的形式化方法 9 信息学报 9 纯逻辑与应用逻辑年鉴 8 计算机科学中的逻辑方法 7 信息处理信件 7 计算机与系统科学杂志 6 逻辑与代数程序设计杂志 4 人工智能 4 计算机程序设计科学 4 新一代计算 4 RAIRO公司。理论信息学及其应用 三 MSCS公司。计算机科学中的数学结构 三 逻辑程序设计理论与实践 三 计算机语言、系统和结构 三 计算机科学中的数学 三 程序设计中的逻辑和代数方法杂志 2 编程和计算机软件 2 计算机科学与技术杂志 2 组合优化期刊 1 应用科学中的数学方法 1 数学信使 1 信息科学 1 离散和计算几何 1 国际并行程序设计杂志 1 应用数学快报 1 密码学杂志 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 应用Clifford代数的进展 1 数学与人工智能年鉴 1 可靠的计算 1 启发式杂志 1 工程中的数学问题 1 IGPL逻辑杂志 1 计算机基础理论 1 Sādhanā 1 剑桥理论计算机科学丛书 1 理论计算机科学电子笔记 1 数学论坛,Pi 1 非线性分析。理论、方法和应用 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 理论计算机科学文本。EATCS系列 全部的 前5名28个领域被引用 491 计算机科学(68至XX) 153 数学逻辑和基础(03-XX) 5 范畴理论;同调代数(18-XX) 5 信息与通信理论、电路(94-XX) 4 历史和传记(01-XX) 4 阶、格、有序代数结构(06-XX) 4 一般代数系统(08-XX) 4 概率论与随机过程(60-XX) 4 运筹学、数学规划(90-XX) 三 数论(11-XX) 三 数值分析(65-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 凸几何和离散几何(52至XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 群论与推广(20-XX) 1 实际功能(26年X月X日) 1 特殊功能(33至XX) 1 常微分方程(34-XX) 1 欧氏空间的调和分析(42至XX) 1 一般拓扑结构(54至XX) 1 粒子和系统力学(70-XX) 1 光学、电磁理论(78-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文