您的位置： 专家智库 > >

王敏

作品数：2 被引量：1H指数：1
供职机构：中国科学技术大学信息科学技术学院电子工程与信息科学系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇GAMMA
  • 1篇形式语义
  • 1篇语义
  • 1篇语义研究
  • 1篇时态逻辑
  • 1篇UNITY
  • 1篇并行计算
  • 1篇并行计算模型

机构

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

作者

  • 2篇王敏
  • 1篇丁卫群
  • 1篇林洪
  • 1篇王敏

传媒

  • 1篇计算机工程与...
  • 1篇小型微型计算...

年份

  • 1篇1998
  • 1篇1996
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
Gamma的语义研究
1996年
在推导程序属性方面,公理语义比操作语义具有更多的优点。本文定义Gamma 的时态语义,它是已有工作的进一步精确化;本文证明这种时态语义与结构化操作语义是一致的。
林洪王敏
关键词：形式语义时态逻辑并行计算模型GAMMA
Unity和Gamma之间的程序变换:一个实例研究被引量：1
1998年
Ｇａｍｍａ和Ｕｎｉｔｙ都是面向问题描述的编程模型。本文中我们提出了一种从Ｕｎｉｔｙ到Ｇａｍｍａ的语义等价的程序变换方法，进而我们证明，Ｇａｍｍａ比相应的Ｕｎｉｔｙ有更强的表达能力。同时，也提出了逆转换方法。把这些方法运用到排序问题中的实验结果表明，用转换机制以及把Ｕｎｉｔｙ作为Ｇａｍｍａ的实现层来编写有效的程序是一种可行的方法。
王敏王敏
关键词：UNITY
全选 清除 导出
共1页<1>
聚类工具0