后序遍历二叉树非递归算法的推导及形式化证明

著录项

• 来源
  《计算机工程与科学》 |2010年第3期|119-123|共5页
• 作者

  左正康; 游珍; 薛锦云;

  展开▼
• 作者单位

  江西师范大学省高性能计算技术重点实验室;

  江西;

  南昌;

  330022;

  中国科学院软件研究所;

  北京;

  100190中国科学院研究生院;

  北京;

  100049;

  江西师范大学省高性能计算技术重点实验室;

  江西;

  南昌;

  330022;

  江西师范大学省高性能计算技术重点实验室;

  江西;

  南昌;

  330022;

  中国科学院软件研究所;

  北京;

  100190;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  后序遍历二叉树; 循环不变式; PAR方法; 非线性数据结构; Dijkstra-Gries标准程序证明法;