论文部分内容阅读
针对基于原型的单继承面向对象模型,通过扩展库的形式实现了Lua对契约式开发的支持,包括原型不变式、函数前后置断言.利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义.最后分析了该实现方法的弱点和改进思路.
在动态语言Lua中支持契约式开发
【摘 要】
：
针对基于原型的单继承面向对象模型,通过扩展库的形式实现了Lua对契约式开发的支持,包括原型不变式、函数前后置断言.利用了语言提供的动态元机制在运行期改变某些语法构造的
【机 构】
：
华东师范大学计算机科学与技术系
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年19期
【基金项目】
：
上海市自然科学基金项目（启明星计划）（编号：03QG14016）,上海市教委局管基金（编号：04JG05063）
其他文献
历代学者都曾对孔子之礼作过探讨,但是在当代学者的的论述中,却显得凌乱与语焉不详。本文从礼产生的本源入手,认为礼除了原义之外,还应注意其引申义即圣人制作。孔子之礼正是
公民表达权具有政治自由权利和非政治自由权利的双重属性。保障公民表达权，要完善宪法依据，清理不合理的行政法规，提高法律保障位阶，完善司法救济制度，实行政务公开。
文章依据国家863重大专项T比特路由器的研制,提出了基于10Gbps线路接口卡硬件的软件设计方案,并在VxWorks操作系统的支持下实现了该方案.同时对VxWorks下的内存管理进行了裁
首先阐述了构件化的软件技术,提出构件化的农业专家系统的体系结构,分析了构件间的集成规则,并研究了数据挖掘构件和推理机构件.最后研究了构件组装的接口问题及专家系统构件
基于GF（24）域映射的方法,采用定制方式完成了AES加密算法中关键部件S-Box的设计与实现。设计上基于中芯国际（SMIC）的0.18μm 1P6M设计工艺,经过电路设计与验证、电路仿真、版图设
现实世界中的许多复杂系统都可以使用网络模型进行描述，复杂网络的结构和性质研究已经成为引人注目的领域。软件作为一类复杂系统。也可以使用网络化的方法进行定量分析。文章
建立文物图像数据库是建立文物数字博物馆的基础,在基于物理特征检索的图像数据库系统中应用了FAC-file这种索引方法,并对系统的检索性能进行测试.对采用索引结构和未采用索
常见的较低次有理带单形状因子分段有理插值样条通过代数运算，可用Bernstein基函数等价表示。这类分段插值样条利用Hermite插值的方法推广到高次有理[2m＋1，2m]型，样条的生成曲线
应用循环伏安法制备了nano-Pt／GC修饰电极，优化了铂微粒在电极表面的沉积条件，并用扫描电子显微镜（SEM）和在硫酸中的循环伏安曲线对其进行了表征。结果表明铂微粒较为均匀地分散在
采用原生质体融合技术选育酒精发酵性能优良酵母菌株，在完成小试和中试工作基础上，建立了一套单级有效容积100m^3，四级发酵罐串联，年产酒精万吨级规模工业性放大试验装置。发酵终