一种命令式风格的面向对象语言语义框架

摘要：

面向对象语言在软件工程实践中有着广泛的应用.为面向对象语言定义严格的语义有助于理解面向对象语言的本质特征,对验证软件、提高软件系统可靠性等也具有重要意义.给出了一种新的面向对象语言的语义框架,该框架基于命令式的风格,具有操作语义和类型规则；证明了该语义框架的类型安全定理.

关键词：面向对象语言、类型系统、操作语义、语义框架

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61170051

在线出版日期：2013-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：159-162