阿达95 swMATH ID: 1753 软件作者: 让·伊克比亚 描述: Ada是一种结构化、静态类型、命令式、广谱和面向对象的高级计算机编程语言,是从Pascal和其他语言扩展而来的。它具有对显式并发、提供任务、同步消息传递、受保护对象和非确定性的内置语言支持。Ada是国际标准;当前版本(称为Ada 2012)由ISO/IEC 8652:2012定义。Ada最初由CII Honeywell Bull的Jean Ichbiah领导的团队设计,该团队于1977年至1983年与美国国防部签订合同,以取代国防部当时使用的数百种编程语言。Ada以Ada Lovelace(1815-1852)命名,他被认为是第一位计算机程序员。 主页: http://www.adahome.com/rm95/ 相关软件: 模块;艾菲尔;Smalltalk公司;模拟67;阿尔戈68;安娜;毫升;MPFR公司;COBOL公司;损益;火花;Uppaal公司;阿尔戈60;Frama-C公司;JML公司;酯类;STL公司;LISP公司;PVS公司;数学软件 引用于: 277文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 查尔斯:Ada95的数据结构库。 Zbl 1032.68865号马修·希尼 2003 全部的 前5名396位作者引用 14 汉斯·弗里德里奇·科赫 11 吉安尼·阿里奥利 5 艾伦·D·伯恩斯。 5 大卫·C·勒克姆。 4 Gehani,Narain H。 4 米歇尔·冈萨雷斯港 4 格哈德·古斯 4 徐宝文 三 约翰·布利伯格 三 格雷迪·布奇 三 格特,罗伯·特里斯坦 三 斯蒂芬·J·戈德萨克。 三 基恩泽尔,约格 三 亨利·F·莱德加德。 三 安德鲁·麦格特里克。 三 西古尔德·梅尔达尔 三 罗纳德·奥尔森。 三 Guido Persch公司 三 Shyamasondar,Rudrapatna Kallikote 三 彼得·J·L·沃利斯。 三 安德鲁·韦林斯(Andrew J.Wellings)。 三 安迪·威林斯 2 阿尔特·卡奇,哈桑 2 马里奥·奥尔迪亚·里瓦斯 2 美国,皮埃尔 2 格雷戈里·安德鲁斯。 2 西奥多·贝克。 2 霍华德·巴林格 2 莫德凯·本·阿里 2 Judy M.主教。 2 皮埃尔·布雷盖 2 菲利普·布鲁克。 2 诺曼·H·科恩。 2 德克·克雷内斯特 2 曼弗雷德·道斯曼 2 约翰·道斯 2 多米尼克·达根 2 迈克尔·B·费尔德曼。 2 贾维尔·古蒂雷兹 2 A.Nico哈伯曼 2 轩尼诗,Matthew C.B。 2 乔泽夫·约翰内斯·玛丽亚·胡曼 2 吉梅内斯·佩里斯(Jiménez-Peris)、里卡多(Ricardo) 2 基恩,亚伦·W·。 2 杰夫·克莱默 2 我.梅恩斯。 2 曼弗雷德·纳格尔 2 理查德·佩奇(Richard F.Paige)。 2 玛尔塔·帕蒂尼奥·马丁内斯 2 派尔,I.C。 2 马克·罗杰斯。 2 Jean-Pierre Rosen先生 2 阿尔弗雷德·斯特罗梅尔 2 Tullio Vardanega公司 2 冯·亨克,弗里德里希·威廉姆 2 菲利普·沃罗基尔 2 杨宏基 2 路易吉·扎法隆 1 阿布努斯,拉兹米克 1 斯蒂芬·亚当斯。 1 阿加米尔济安。 1 阿兰,阿基 1 芭芭拉·阿尔瓦雷斯 1 塞拉菲诺·阿莫罗佐 1 E.阿纳维。 1 马西莫·安科纳 1 比尔·阿贝尔 1 荒木俊郎 1 安德斯·阿德 1 塞尔吉奥·阿雷瓦洛 1 雅克·J·阿萨克。 1 阿伦库马尔,S。 1 拉斯·阿斯普伦德 1 大卫·F·阿瑟西。 1 尼尔·C·奥兹利。 1 克里斯汀·奥斯尼特(Christine N.Ausnit)。 1 Avjiev,D。 1 弗朗西斯科·西维尔·巴博特 1 Jos C.M.Baeten。 1 路易斯·朱·贝克。 1 大卫·T·巴纳德。 1 巴恩斯,I.G.P。 1 巴恩斯,J.G.P。 1 珍妮特·巴恩斯 1 尼尔森·H·F·毕比。 1 约翰·贝德勒 1 卢西亚诺·贝洛 1 明瑟·班格尔 1 格雷戈里·本森。 1 托马斯·朱·伯金。 1 Manuel E.Bermudez。 1 米奎尔·伯特兰 1 马丁·贝弗 1 Prasenjit Biswas公司 1 爱德华·肯尼斯·布鲁姆 1 罗尔夫·贝尔科夫 1 沃伊切赫·博伊科 1 曼弗雷德·布雷茨 1 本杰明·布罗斯科尔(Benjamin M.Brosgol)。 1 布鲁斯(Kim B.Bruce)。 …还有296位作者 全部的 前5名59篇连载文章中引用 30 软件。实践与经验 9 计算机科学课堂讲稿 8 计算的形式化方面 7 理论计算机科学 5 信息学报 5 钻头 5 《计算机杂志》。A部分/B部分 5 信息与计算 5 实时系统 4 IEEE软件工程汇刊 三 信息处理信件 三 计算机程序设计科学 2 数学物理中的通信 2 计算机物理通信 2 应用数学与计算 2 Automatica公司 2 计算 2 计算机与系统科学杂志 2 微分方程杂志 2 非线性分析。理论、方法和应用。系列A:理论与方法 2 计算机科学与技术杂志 2 并行:实践与经验 2 函数编程杂志 2 数学与人工智能年鉴 2 离散和连续动力系统 2 数学流体力学杂志 2 萨达纳 2 Fortschritt-Berichte VDI公司。Reihe 10:Informatik/Kommunikationstechnik公司 1 倒排索引综述 1 国际控制杂志 1 非线性 1 计算机语言 1 Elektronische Rechenannlagen公司 1 信息 1 国际计算机与信息科学杂志 1 苏联数学杂志 1 程序设计语言与系统学报 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 遍历理论和动力系统 1 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机科 1 武汉大学学报。自然科学版 1 并行计算 1 it.信息技术 1 国际并行程序设计杂志 1 自动推理杂志 1 科学人生 1 分布式计算 1 非线性科学杂志 1 Lietuvos Matematikos林基尼 1 Documenta Mathematica公司 1 科威特科学与工程杂志 1 运筹学的数学方法 1 并行与计算:实践与经验 1 SIAM应用动力系统杂志 1 计算机语言、系统和结构 1 剑桥计算机科学教材 1 Fachberichte模拟 1 基于微处理器的系统工程国际系列 1 计算机科学本科生课文 全部的 前5名23个字段中引用 256 计算机科学(68至XX) 9 一般性和全局性主题;集合(00-XX) 8 数值分析(65-XX) 7 偏微分方程(35-XX) 7 系统论;控制(93至XX) 6 动力系统和遍历理论(37至XX) 5 运筹学、数学规划(90-XX) 4 数学逻辑和基础(03-XX) 2 历史和传记(01-XX) 2 变分法与最优控制;最优化(49-XX) 2 粒子和系统力学(70-XX) 2 流体力学(76-XX) 2 统计力学,物质结构(82-XX) 2 信息和通信理论,电路(94-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 \(K\)理论(19-XX) 1 几个复变量和分析空间(32-XX) 1 常微分方程(34-XX) 1 近似值和展开值(41至XX) 1 算子理论(47-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文