- 1、本文档共16页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
ada语言的发展 evolution of ada programming language
第41卷第1期 计算机科学 V01.41No.1
Science 2014
2014年1月 Computer Jan
Ada语言的发展
吴迪徐宝文
(南京大学软件新技术国家重点实验室 南京210046)(南京大学计算机科学与技术系 南京210046)
所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效
率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的
发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核
心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用
Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada83,Ada95,Ada2005,Ada
2012等4个语言标准,新标
准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍
和分析。
关键词Ada,程序设计语言,强类型机制,程序包,分别编译,异常处理,类属单元,面向对象程序设计,并发程序设
计,契约式程序设计,大型软件开发
中图法分类号TP312文献标识码A ,
ofAda
EvolutionProgramming
I硼guage
Di
、7IrU XUBao-wen
(State forNovelSoftware
KeyLaboratory Technology,Nanjing 210046,Claim)
University,Nanjing
of Scienceand
(DepartmentComputer Technology,NanjingUniversity,Nanjing210046,CMm)
$msmJetTheAda in1979,was 8StheUSA standardin1980
prog】mmlllinglanguage,bom designated military andoffi—
establishedasanISOstandardand intousein1983.Ada’S are
cially put originalpurposes
and itsrobust andexcellentsoftware
readabilityefficiency.Ada,withfeatures,good ideasembo-
reliability engineering
exertedin
您可能关注的文档
- .net应用程序与j2ee应用程序的集成 integration of.net and j2ee application.pdf
- .net remoting分布式对象技术实现远程信息获取.pdf
- (l)ukasiewicz命题逻辑系统中有限命题集的约简理论 reduction theory of finite proposition set in (l)ukasiewiez propositional logic.pdf
- (l)ukasiewicz三值逻辑系统中的随机化研究 stochastic study in (l)ukasiewicz's ternary logic system.pdf
- .net技术在构建质量管理信息化系统中的运用 the application of .net technology in construction quality control informationization system.pdf
- “绑定中测试”“多绑一测”方式对于测试过程的影响 impact of one testing after multiple bondings on the testing process in mid-bond tests.pdf
- “计算机网络”课程教学改革与实践研究 teaching reform and practice research of computer network.pdf
- 《病理学》精品课程网站学习评价新模式的探索 pathology course website to explore new mode of learning evaluation.pdf
- “创新创业”彰显一个地方高校的特色发展——桂林电子科技大学古天龙校长专访.pdf
- 0lap中多维数组的一种改进压缩算法 improved compression algorithm of dimensional array in olap.pdf
- 2025年中国锻铁围栏市场调查研究报告.docx
- 2025年中国椭圆型市场调查研究报告.docx
- 2025年中国无蔗糖原味豆浆市场调查研究报告.docx
- 2025-2031年中国泛在电力物联网行业发展运行现状及投资潜力预测报告.docx
- 2025年中国制袋机零件市场调查研究报告.docx
- 2025年中国智能除垢型电子水处理仪市场调查研究报告.docx
- 2025-2031年中国甘肃省乡村旅游行业市场深度研究及投资策略研究报告.docx
- 2025-2031年中国干海产品行业市场发展监测及投资战略规划报告.docx
- 2025年中国全铝图解易拉盖市场调查研究报告.docx
- 2025年中国人造毛皮服装市场调查研究报告.docx
文档评论(0)