Ada语言的发展

作者：吴迪; 徐宝文

来源：计算机科学, 2014, (01): 1-15+38.

• Ada
• 程序设计语言
• 强类型机制
• 程序包
• 分别编译
• 异常处理
• 类属单元
• 面向对象程序设计
• 并发程序设计
• 契约式程序设计
• 大型软件开发 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

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95...

• 出版日期2014
• 单位南京大学