×

Ada95型

swMATH标识: 1753
软件作者: 让·伊奇比亚
说明: Ada是一种结构化的、静态类型的、命令式的、广谱的、面向对象的高级计算机编程语言,由Pascal和其他语言扩展而来。它内置语言支持显式并发、提供任务、同步消息传递、受保护对象和非确定性。Ada是一个国际标准;当前版本(称为Ada 2012)由ISO/IEC 8652:2012定义。Ada最初由CII霍尼韦尔公牛公司的Jean Ichbiah领导的团队根据1977年至1983年与美国国防部(DoD)签订的合同设计,以取代当时国防部使用的数百种编程语言。Ada是以Ada Lovelace(1815-1852)的名字命名的,他被认为是第一位计算机程序员。
主页: http://www.adahome.com/rm95/
相关软件: 模数;艾菲尔;小话;蚋67;阿尔戈68;MPFR公司;COBOL公司;安娜;毫升;损益表;火花;乌帕阿尔;阿尔戈60;埃斯特雷尔;STL公司;口齿不清;PVS公司;数学软件;游泳池;模拟脚本
参考文献: 274种出版物

标准条款

1个出版物描述软件,包括1个出版物在zbMATH
Charles:Ada95的数据结构库。 Zbl 1032.68865
希尼,马修
2003
全部的 前5名

393位作者引用

12 科赫,汉斯·弗里德里希
10 阿罗利,詹尼
5 伯恩斯,艾伦·D。
5 卢卡姆,大卫·C。
4 盖哈尼,纳兰H。
4 冈萨雷斯港,迈克尔
4 顾,格哈德
4 徐宝文
布莱伯格,约翰
布奇,格雷迪
格特,罗布·特里斯坦
戈德萨克,斯蒂芬J。
基恩泽,约格
莱德加德,亨利F。
麦盖特里克,安德鲁D。
梅尔达尔,西格德
奥尔森,罗纳德A。
帕什,吉多
Shyamandar,Rudrapatna Kallikote
沃利斯,彼得·J·L。
韦林斯,安德鲁J。
威灵斯,安迪
2 Aït-Kaci,哈桑
2 阿尔迪娅·里瓦斯,马里奥
2 美国,皮埃尔
2 安德鲁斯,格雷戈里R。
2 贝克,西奥多P。
2 巴林格,霍华德
2 本阿里,莫德凯
2 主教,朱迪M。
2 勃列盖,皮埃尔
2 布鲁克,菲利普J。
2 科恩,诺曼H。
2 克雷内斯特,德克
2 道曼,曼弗雷德
2 道斯,约翰
2 达根,多米尼克
2 费尔德曼,迈克尔B。
2 古铁雷斯,J.哈维尔
2 哈伯曼,A.尼科
2 轩尼诗,马修·C·B。
2 胡曼,乔泽夫·约翰内斯·玛丽亚
2 吉姆内斯佩里斯,里卡多
2 凯恩,亚伦W。
2 克莱默,杰夫
2 我是米恩斯。
2 纳格,曼弗雷德
2 佩奇,理查德F。
2 帕蒂诺-马丁内斯,玛尔塔
2 派尔,I.C。
2 罗杰斯,马克W。
2 罗森,让·皮埃尔
2 斯特罗迈尔,阿尔弗雷德
2 瓦达内加,图利奥
2 冯·亨克,弗里德里希·威廉
2 战士们,菲利普
2 杨洪吉
2 扎法隆,路易吉
1 Abnous,拉兹米克
1 亚当斯,斯蒂芬R。
1 阿格米尔兹安,I.R。
1 阿基,阿兰
1 阿尔瓦雷斯,芭芭拉
1 阿莫罗索,塞拉菲诺
1 阿纳维,E。
1 安科纳,马西莫
1 上诉,比尔
1 荒木,Toshiro
1 阿德,安德斯
1 阿雷瓦罗,塞尔吉奥
1 阿萨克,雅克J。
1 阿伦库马尔,S。
1 阿斯普朗,拉尔斯
1 阿瑟西,大卫F。
1 奥德斯利,尼尔·C。
1 奥斯尼特,克里斯汀N。
1 阿夫吉耶夫,D。
1 巴伯特,弗朗切斯克泽维尔
1 贝顿,乔斯·C·M。
1 贝克,路易·军。
1 巴纳德,大卫T。
1 巴恩斯,I.G.P。
1 巴恩斯,J.G.P。
1 巴恩斯,珍妮特
1 比比,纳尔逊·H·F。
1 贝德勒,约翰
1 贝洛,卢西亚诺
1 本格尔,Günther
1 本森,格雷戈里D。
1 柏金,托马斯J.君。
1 伯穆德斯,曼努埃尔E。
1 伯特兰,米克尔
1 贝弗,马丁
1 比斯瓦,普拉森吉特
1 布鲁姆,爱德华·肯尼斯
1 伯尔科,罗尔夫
1 Bożejko,沃伊切赫
1 布雷茨,曼弗雷德
1 布罗斯戈,本杰明M。
1 布鲁斯,金B。
…还有293位作者
全部的 前5名

在60个系列中引用

30 软件。实践与经验
9 计算机科学讲义
8 计算的形式化方面
7 理论计算机科学
5 信息学报
5 钻头
5 计算机杂志。A段/B段
5 信息与计算
5 实时系统
4 IEEE软件工程学报
信息处理信函
计算机程序设计学
2 数理通信
2 计算机物理通信
2 应用数学与计算
2 自动
2 计算
2 计算机与系统科学杂志
2 非线性分析。理论、方法与应用。A系列:理论与方法
2 计算机科学与技术杂志
2 并行:实践与经验
2 函数程序设计杂志
2 数学与人工智能年鉴
2 离散与连续动力系统
2 流体力学杂志
2 ādhanā
2 福特施里特贝里赫特VDI。第10章:信息技术
1 倒排索引综述
1 国际控制杂志
1 非线性
1 计算机语言
1 Elektronische Rechenanlagen公司
1 信息。信息系统与运筹学
1 国际计算机与信息科学杂志
1 微分方程杂志
1 苏联数学杂志
1
1 程序设计语言和系统的ACM事务处理
1 马洛内数学社会年鉴。系列IV
1 布达佩斯汀科学大学年鉴。计算机部门
1 武汉大学学报。自然科学版
1 并行计算
1 它。信息技术
1 国际并行程序设计杂志
1 自动推理杂志
1 科学之家
1 分布式计算
1 非线性科学杂志
1 Lietuvos Matematikos Rinkinys公司
1
1 文献数学
1 科威特科学与工程杂志
1 运筹学的数学方法
1 并行与计算:实践与经验
1 应用动力系统学报
1 计算机语言、系统与结构
1 剑桥计算机科学教材
1 法布里希特模拟
1 微机系统工程国际丛书
1 计算机科学本科教材

按年份引用出版物