您的位置： 专家智库 > >

李贤贞

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化推导
  • 1篇循环不变式
  • 1篇函数

机构

  • 1篇贵州大学
  • 1篇中国科学院国...

作者

  • 1篇杨静
  • 1篇吴茂念
  • 1篇李贤贞

传媒

  • 1篇微型机与应用

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
循环结构的形式化推导被引量：1
2014年
介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。
李贤贞吴茂念杨静
关键词：形式化方法循环不变式
全选 清除 导出
共1页<1>
聚类工具0