您的位置： 专家智库 > >

江西师范大学青年成长基金(1323)

作品数：1 被引量：7H指数：1
相关作者：胡启敏薛锦云更多>>
相关机构：江西省高性能计算技术重点实验室江西师范大学中国科学院软件研究所更多>>
发文基金：江西师范大学青年成长基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇递推
  • 1篇递推关系
  • 1篇形式化
  • 1篇形式化推导
  • 1篇PAR方法

机构

  • 1篇江西师范大学
  • 1篇中国科学院软...
  • 1篇江西省高性能...

作者

  • 1篇薛锦云
  • 1篇胡启敏

传媒

  • 1篇计算机研究与...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
若干算法程序的形式化推导与生成技术研究被引量：7
2008年
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序.
胡启敏薛锦云
关键词：PAR方法形式化推导递推关系
全选 清除 导出
共1页<1>
聚类工具0