曹璟
- 作品数:6 被引量:5H指数:2
- 供职机构:东南大学计算机科学与工程学院更多>>
- 发文基金:国家自然科学基金江苏省自然科学基金江苏省高技术研究计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- Shrek:一个动态面向对象程序设计语言(英文)被引量:1
- 2009年
- 以理论研究的视角,现有面向对象程序设计语言的理论模型存在不足,如C++不支持元类,Java和C#的基本类型不是对象等.为此,设计了一种程序设计语言Shrek,将多种语言特性和语言设施统一在一个简洁、一致的模型下实现.Shrek语言是基于类的完全面向对象语言,拥有动态强类型系统,采用了与Mixin相结合的单继承机制.该语言具有协调一致的类对象结构,具备结构化计算反射能力,能够进行安全的元类程序设计.另外,它还支持多线程程序设计和自动垃圾回收,并通过本地方法机制极大地增强了自身的表达能力.该语言的原型系统已经实现,达到了预期的设计目标.
- 曹璟徐宝文周毓明
- 关键词:面向对象程序设计语言
- AspectJ程序分析及编织优化相关技术研究
- AspectJ是一门新的程序设计语言,它是在Java语言的基础上扩充了AOP系统而来的。AspectJ语言的面向方面程序设计方法能够弥补传统面向对象技术在模块化软件中横切关注点方面的不足,因此它不仅是人们研究AOP语言的...
- 曹璟
- 关键词:调用图程序设计
- 文献传递
- 基于非严格平行继承模式的安全元类程序设计
- 元类程序设计存在元类兼容性问题.它是由层次间对象的消息传递和不同层次的继承关系共同作用引起的.元类不兼容会导致程序运行时错误,是不安全的.由于出错原因较难发现,因此仅靠程序员检验程序的元类兼容性是不可靠的,程序设计语言本...
- 曹璟徐宝文
- 关键词:程序设计
- 文献传递
- 一种基于类型约束的泛型Java程序重构方法被引量:2
- 2007年
- 泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.
- 陈林徐宝文周晓宇曹璟
- 关键词:软件维护
- 基于SAT求解的面向对象程序类型分析
- 2009年
- 类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度。由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法。提出了一种基于SAT求解的面向对象程序类型分析方法。该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合。该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析。
- 曹璟徐宝文
- 关键词:面向对象程序
- 基于面向方面调用图的AspectJ动态通知编织优化被引量:2
- 2008年
- 在提出一种适合ApsectJ程序分析的面向方面调用图的基础上,给出了一种AspectJ动态通知编织优化方法.该方法利用程序调用图求解调用栈,并对栈中节点进行类型推导,再将调用栈与切点匹配,根据匹配结果决定通知织入方式.实例研究结果表明,该方法精确度高,能够静态确定程序中大部分动态通知的织入点.
- 曹璟徐宝文周晓宇钱巨杨彬
- 关键词:调用图ASPECTJ面向方面程序设计