咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 非线性数据结构
  • 1 篇 二叉树类非递归算...
  • 1 篇 dijkstra-gries标...
  • 1 篇 循环不变式
  • 1 篇 par平台

机构

  • 1 篇 江西师范大学

作者

  • 1 篇 王渊
  • 1 篇 wang changjing
  • 1 篇 黄箐
  • 1 篇 廖云燕
  • 1 篇 王昌晶
  • 1 篇 huang qing
  • 1 篇 zuo zhengkang
  • 1 篇 liao yunyan
  • 1 篇 wang yuan
  • 1 篇 左正康
  • 1 篇 fang yue
  • 1 篇 方越

语言

  • 1 篇 中文
检索条件"主题词=二叉树类非递归算法"
1 条 记 录,以下是1-10 订阅
排序:
二叉树排序递归算法推导及形式化证明
收藏 引用
江西师范大学学报(自然科学版) 2020年 第6期44卷 625-632页
作者: 左正康 方越 黄箐 廖云燕 王渊 王昌晶 江西师范大学计算机信息工程学院 江西南昌330022 江西师范大学软件学院 江西南昌330022
线性数据结构递归问题递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变... 详细信息
来源: 评论