咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 4 篇 软件工程

主题

  • 4 篇 非线性数据结构
  • 4 篇 dijkstra-gries标...
  • 4 篇 循环不变式
  • 2 篇 二叉树队列递推关...
  • 2 篇 apla到c++程序自动...
  • 1 篇 二叉树类非递归算...
  • 1 篇 后序遍历二叉树
  • 1 篇 par方法
  • 1 篇 par平台

机构

  • 4 篇 江西师范大学
  • 1 篇 中国科学院研究生...
  • 1 篇 中国科学院软件研...

作者

  • 3 篇 左正康
  • 3 篇 方越
  • 2 篇 wang changjing
  • 2 篇 黄箐
  • 2 篇 王昌晶
  • 2 篇 huang qing
  • 2 篇 zuo zhengkang
  • 2 篇 fang yue
  • 1 篇 王渊
  • 1 篇 廖云燕
  • 1 篇 黄志鹏
  • 1 篇 liao yunyan
  • 1 篇 huang zhipeng
  • 1 篇 wang yuan
  • 1 篇 you zhen
  • 1 篇 游珍
  • 1 篇 xue jin-yun
  • 1 篇 zuo zheng-kang
  • 1 篇 薛锦云

语言

  • 4 篇 中文
检索条件"主题词=Dijkstra-Gries标准程序证明法"
4 条 记 录,以下是1-10 订阅
排序:
后序遍历二叉树非递归算的推导及形式化证明
收藏 引用
计算机工程与科学 2010年 第3期32卷 119-123页
作者: 左正康 游珍 薛锦云 江西师范大学省高性能计算技术重点实验室 江西南昌330022 中国科学院软件研究所 北京100190 中国科学院研究生院 北京100049
开发涉及非线性数据结构算程序的循环不变式一直是形式化方的难点。本文使用PAR方开发循环不变式的新策略,对后序遍历二叉树问题循环不变式的开发使用递归定义技术,得到了该问题循环不变式的简单精确的表达形式,简化了算程序的... 详细信息
来源: 评论
二叉树队列关系问题非递归算的推导及形式化证明
收藏 引用
江西师范大学学报(自然科学版) 2022年 第1期46卷 49-58页
作者: 左正康 方越 黄志鹏 黄箐 王昌晶 江西师范大学计算机信息工程学院 江西南昌330022
该文对二叉树类问题进行分划,寻找其递推关系,并针对具有队列递推关系的一类问题,给出了其推导过程和形式化证明策略.再结合每个算后置断言的不同,提出3种开发循环不变式的策略,并构造出该类问题的通用循环不变式模板.同时,发现该类... 详细信息
来源: 评论
二叉树排序非递归算推导及形式化证明
收藏 引用
江西师范大学学报(自然科学版) 2020年 第6期44卷 625-632页
作者: 左正康 方越 黄箐 廖云燕 王渊 王昌晶 江西师范大学计算机信息工程学院 江西南昌330022 江西师范大学软件学院 江西南昌330022
非线性数据结构递归问题非递归算的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算的推导及形式化证明,对二叉树排序算进行推导,得出非递归Apla(Abstract Programming Language)算及其精确而简单的循环不变... 详细信息
来源: 评论
二叉树队列递推关系问题非递归算推导及形式化证明
二叉树队列递推关系问题非递归算法推导及形式化证明
收藏 引用
作者: 方越 江西师范大学
学位级别:硕士
非线性数据结构问题非递归算的循环不变式的开发一直是形式化开发的难点。树作为一种广泛应用的一对多的非线性数据结构,不仅具有数据之间的指向关系,而且还具有层次关系。由于树形结构比较复杂,为了简化操作和存储,我们一般将树形转... 详细信息
来源: 评论