Dijkstra-Gries标准程序证明法相关论文
该文对二叉树类问题进行分划，寻找其递推关系，并针对具有队列递推关系的一类问题，给出了其推导过程和形式化证明策略.再结合每个算法......
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对......
开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略，对后序遍历二叉树......
