您的位置： 专家智库 > >

邓际锋

作品数：2 被引量：4H指数：1
供职机构：华东师范大学信息科学技术学院计算机科学技术系更多>>
发文基金：上海市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 1篇动态语言
  • 1篇形式化
  • 1篇形式化方法
  • 1篇语言
  • 1篇扩展式
  • 1篇LUA

机构

  • 2篇华东师范大学

作者

  • 2篇邓际锋
  • 1篇张桂戌

传媒

  • 1篇计算机工程与...

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
在动态语言Lua中支持契约式开发被引量：4
2006年
针对基于原型的单继承面向对象模型,通过扩展库的形式实现了Lua对契约式开发的支持,包括原型不变式、函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点和改进思路。
邓际锋张桂戌
关键词：动态语言LUA形式化方法
支持静态元编程的可扩展式开放编译器的研究与实现
本文以动态语言Lua为例，设计并实现了一个支持静态元编程的可扩展式开放Lua编译器OpenLua，它能够支持程序员在无需改动编译器的情况下扩展语言的语法设施，从而快速地构造出领域特定语言。 首先，介绍了静态元编...
邓际锋
文献传递
全选 清除 导出
共1页<1>
聚类工具0