×

阿达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/
相关软件： Modula公司；艾菲尔；Smalltalk公司；模拟67；阿尔戈68；安娜；毫升；MPFR公司；COBOL公司；PL/I公司；火花；Uppaal公司；阿尔戈60；Frama-C公司；JML公司；酯类；STL公司；口齿不清；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 徐宝文
三 约翰·布利伯格
三 格雷迪·布奇
三 罗布·特里斯坦·格特
三 斯蒂芬·戈德萨克。
三 基恩泽尔，约格
三 亨利·F·莱德加德。
三 安德鲁·麦格特里克。
三 西古尔德·梅尔达尔
三 罗纳德·奥尔森。
三 Guido Persch公司
三 Rudrapatna Kallikote Shyamasundar
三 彼得·J·L·沃利斯。
三 安德鲁·韦林斯（Andrew J.Wellings）。
三 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 塔利奥·瓦尔达内加
2 弗里德里希·威廉·冯·亨克
2 菲利普·沃罗基尔
2 杨宏基
2 路易吉·扎法隆
1 阿布努斯，拉兹米克
1 斯蒂芬·亚当斯。
1 I.R.阿加米尔赞。
1 阿兰，阿基
1 芭芭拉·阿尔瓦雷斯
1 塞拉菲诺·阿莫罗佐
1 E.阿纳维。
1 马西莫·安科纳
1 比尔·阿贝尔
1 荒木俊郎
1 安德斯·阿德
1 塞尔吉奥·阿雷瓦洛
1 雅克·J·阿萨克。
1 阿伦库马尔，S。
1 拉斯·阿斯普伦德
1 大卫·F·阿瑟西。
1 Neil 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）

按年份列出的引文