您的位置： 专家智库 > >

吴祥

作品数：1 被引量：2H指数：1
供职机构：贵州师范大学数学科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义
  • 1篇语义研究
  • 1篇面向方面程序

机构

  • 1篇贵州师范大学

作者

  • 1篇韦立
  • 1篇谢刚
  • 1篇吴祥

传媒

  • 1篇计算机科学

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向方面程序的静态语义研究被引量：2
2017年
针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。
谢刚韦立吴祥
关键词：面向方面程序语义
全选 清除 导出
共1页<1>
聚类工具0