若干二叉树算法的开发与Isabelle机器辅助证明.pdf

摘 要 随着计算机的发展软件在各行各业已扮演着越来越重要的角色自 2007 年可信软件基础研究重大研究计划启动以来我国投入了大量的科研经费 其中可信软件相关开发工具及其支撑平台可信软件的构造及验证是该研究计划 的主要目标算法是计算机软件的灵魂对非线性复杂结构如树图算法的 研究一直是国内外研究的热点树形结构是一种典型的非线性数据结构它能够 支持强大的搜索算法有效的分配内存空间和提供有规则的数据存储