-
题名Ada语言的发展
被引量：1
- 1
-
-
作者
吴迪
徐宝文
-
机构
南京大学软件新技术国家重点实验室
南京大学计算机科学与技术系
-
出处
《计算机科学》
CSCD
北大核心
2014年第1期1-15,38,共16页
-
基金
国家自然科学基金项目(61170071)资助
-
文摘
Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。
-
关键词
ADA
程序设计语言
强类型机制
程序包
分别编译
异常处理
类属单元
面向对象程序设计
并发程序设计
契约式程序设计
大型软件开发
-
Keywords
Ada, Programming languages, Strong typing mechanism, Program packages, Separate compilation, Exception handling, Generic units, Obiect oriented programming, Concurrent program design, Programming by contracts, Large software development
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
