| Ada语言的发展 |
| |
| 引用本文： | 吴迪,徐宝文.Ada语言的发展[J].计算机科学,2014,41(1):1-15,38. |
| |
| 作者姓名： | 吴迪 徐宝文 |
| |
| 作者单位： | 南京大学软件新技术国家重点实验室 南京210046; 南京大学计算机科学与技术系 南京210046;南京大学软件新技术国家重点实验室 南京210046; 南京大学计算机科学与技术系 南京210046 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61170071)资助 |
| |
| 摘 要： | Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。
|
| 关 键 词： | Ada 程序设计语言 强类型机制 程序包 分别编译 异常处理 类属单元 面向对象程序设计 并发程序设计 契约式程序设计 大型软件开发 |
| 收稿时间： | 2013/10/2 0:00:00 |
| 修稿时间： | 2013/11/25 0:00:00 |
Evolution of Ada Programming Language |
| |
| WU Di and XU Bao-wen.Evolution of Ada Programming Language[J].Computer Science,2014,41(1):1-15,38. |
| |
| Authors: | WU Di and XU Bao-wen |
| |
| Affiliation: | State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210046,China; Department of Computer Science and Technology,Nanjing University,Nanjing 210046,China;State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210046,China; Department of Computer Science and Technology,Nanjing University,Nanjing 210046,China |
| |
| Abstract: | |
| |
| Keywords: | Ada Programming languages Strong typing mechanism Program packages Separate compilation Exception handling Generic units Object oriented programming Concurrent program design Programming by contracts Large software development |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
