计算机工程与应用2006，Vol.42Issue(19)：73-76,107,5.
在动态语言Lua中支持契约式开发
Enable Lua to Support "Design by Contract"
摘要
关键词
动态语言/Lua/契约式开发/形式化方法/元机制分类
信息技术与安全科学引用本文复制引用
邓际锋,张桂戌..在动态语言Lua中支持契约式开发[J].计算机工程与应用,2006,42(19):73-76,107,5.基金项目
上海市自然科学基金项目(启明星计划)(编号:03QG14016) （启明星计划）
上海市教委局管基金(编号:04JG05063) （编号:04JG05063）
