您的位置： 专家智库 > >

李云龙

作品数：1 被引量：2H指数：1
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇二叉树

机构

  • 1篇中国科学技术...

作者

  • 1篇罗奇鸣
  • 1篇陈意云
  • 1篇李云龙

传媒

  • 1篇小型微型计算...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
二叉树程序循环不变形状图的自动推断被引量：2
2017年
在一个基于形状图逻辑的C语言程序自动验证系统上,设计并实现了二叉树形状程序的循环不变形状图的自动推断方法.该方法与单链表程序循环不变形状图的推断方法的区别在于通过增加二叉树形状的等价和蕴含规则,使得在形状图的演算时支持二叉树中不确定方向的展开和折叠.此外,为了解决形状图变换规则变化给循环不变形状图推断带来的问题,还设计了算法用以判断在推断循环不变形状图的过程中是否使用新增的规则,并将判断算法融合到循环不变形状图推断流程中.本文方法使得系统支持自动推断二叉树指针程序的循环不变形状图.
李云龙罗奇鸣陈意云
关键词：二叉树
全选 清除 导出
共1页<1>
聚类工具0