您的位置： 专家智库 > >

国家自然科学基金(61170051)

作品数：2 被引量：7H指数：1
相关作者：华保健更多>>
相关机构：中国科学技术大学更多>>
发文基金：国家自然科学基金国家社会科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义
  • 1篇语义框架
  • 1篇面向对象
  • 1篇面向对象语言
  • 1篇命令式
  • 1篇操作语义

机构

  • 1篇中国科学技术...

作者

  • 1篇华保健

传媒

  • 1篇计算机科学

年份

  • 1篇2013
共 2 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种命令式风格的面向对象语言语义框架
2013年
面向对象语言在软件工程实践中有着广泛的应用。为面向对象语言定义严格的语义有助于理解面向对象语言的本质特征,对验证软件、提高软件系统可靠性等也具有重要意义。给出了一种新的面向对象语言的语义框架,该框架基于命令式的风格,具有操作语义和类型规则;证明了该语义框架的类型安全定理。
华保健高鹰
关键词：面向对象语言操作语义语义框架
全选 清除 导出
共1页<1>
聚类工具0