您的位置： 专家智库 > >

贵州省省长基金(2005212)

作品数：2 被引量：2H指数：1
相关作者：章衡杨本娟张明义杨静更多>>
相关机构：清华大学贵州师范大学贵州大学更多>>
发文基金：贵州省省长基金国家自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇HOARE逻...

机构

  • 1篇贵州大学
  • 1篇贵州师范大学
  • 1篇清华大学

作者

  • 1篇杨静
  • 1篇张明义
  • 1篇杨本娟
  • 1篇章衡

传媒

  • 1篇数学学报（中...
  • 1篇通讯和计算机...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
中间逻辑中的良构范式被引量：1
2008年
本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.
章衡张明义杨本娟
用Hoare逻辑验证程序的一般方法及实例被引量：1
2007年
本文引用一个简单的语言说明如何验证一个程序的正确性，并且给出一个实例来进行验证，并指明了今后的研究方向。
杨静
关键词：HOARE逻辑
全选 清除 导出
共1页<1>
聚类工具0