闫伟
- 作品数：4 被引量：3H指数：1
- 供职机构：华中科技大学计算机科学与技术学院更多>>
- 发文基金：湖北省自然科学基金国家部委资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象程序的异常分析与测试方法述评被引量：2
- 2007年
- 从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
- 毛澄映卢炎生闫伟江胜
- 关键词：异常处理控制流图
- 面向方面编程语言的形式语义研究
- 面向方面的软件开发作为一种基于横切关注模块化思想的开发方法,是一种贯穿需求分析、详细设计、代码实现和测试的完整方法。面向方面编程作为具体的实现技术,通常包含新的语言结构来支持代码中的横切关注模块化。这些新的语言结构的语义...
- 闫伟
- 关键词：编程语言形式语义软件开发
- 文献传递
- 命令式语言的化学语义被引量：1
- 2012年
- 化学计算模型是基于化学反应和计算之间比喻的并行计算模型,其内在的并行性及不确定性可以有效的消除与计算逻辑本身无关的人为顺序性,但是难于描述特定的控制机制.高阶化学编程语言是对传统化学计算模型的扩展和泛化,可以描述传统的控制机制和定义新的控制机制.通过从简单命令式语言到高阶化学语言的转换,给出了命令式语言的一种化学语义描述,为结合命令式编程和化学编程提供了一种可能.
- 闫伟卢炎生
- 关键词：化学计算
- 面向对象语言的化学语义
- 2012年
- 化学计算模型是基于化学反应和计算之间比喻的并行计算模型,其内在的并行性及不确定性可以有效地消除与计算逻辑本身无关的人为顺序性,从而能够以更为直观和抽象的方式来描述并行计算。但也正是由于其内在的并行性和高层抽象性,使得特定的控制机制难以描述。高阶化学编程语言是对传统化学计算模型的扩展和泛化,在保留传统化学计算特征的同时,不仅可以有效地描述传统的控制机制,也可以方便地定义新的控制机制。通过从简单面向对象语言到高阶化学语言的转换,给出了面向对象语言的一种化学语义描述,提供了一种描述面向对象系统的新视角,也为结合面向对象编程和化学编程提供了一种可能。
- 闫伟卢炎生
- 关键词：化学计算并行性面向对象
