-
题名在动态语言Lua中支持契约式开发
被引量：1
- 1
-
-
作者
邓际锋
张桂戌
-
机构
华东师范大学计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第19期73-76,107,共5页
-
基金
上海市自然科学基金项目(启明星计划)(编号:03QG14016)
上海市教委局管基金(编号:04JG05063)
-
文摘
针对基于原型的单继承面向对象模型,通过扩展库的形式实现了Lua对契约式开发的支持,包括原型不变式、函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点和改进思路。
-
关键词
动态语言
LUA
契约式开发
形式化方法
元机制
-
Keywords
dynamic language, Lua, Design by Contract, formal method,meta-mechanism
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名Ada语言的发展
被引量：1
- 2
-
-
作者
吴迪
徐宝文
-
机构
南京大学软件新技术国家重点实验室
南京大学计算机科学与技术系
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
-
