指针类型递归函数前后形状图的自动推断

宋艳辉; 李兆鹏; 陈意云

首页> 中文期刊> 《小型微型计算机系统》 >指针类型递归函数前后形状图的自动推断

指针类型递归函数前后形状图的自动推断

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形状图的初值,然后沿着函数的递归路径对函数后形状图进行迭代求解.本文还设计了上述自动推断方法中需要用到的形状图之间蕴涵关系的判定方法.本文方法使得原型系统扩展到能够自动验证指针类型的递归函数.

著录项

来源
《小型微型计算机系统》 |2014年第4期|759-764|共6页
作者
宋艳辉; 李兆鹏; 陈意云;
展开▼
作者单位

1. 中国科学技术大学计算机科学与技术学院 2. 中国科学科技大学苏州研究院软件安全实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.11;
关键词
程序验证; 形状图逻辑; 形状分析; 递归函数; 不变式的自动推断;

相似文献

中文文献
外文文献
专利

1. 河流形状类型的自动图像解译分类 [J] . 徐鲁强 ,刘静霞 ,史云宾 . 计算机应用 . 2010,第011期
2. 基于形状骨架图匹配的文物碎片自动重组方法 [J] . 张雨禾 ,耿国华 ,魏潇然 . 自动化学报 . 2017,第004期
3. 基于局部形状图的三维人脸特征点自动定位 [J] . 王蜜宫 ,陈锻生 ,林超 . 计算机应用 . 2010,第005期
4. 元胞自动机图的蛋白质二级结构类型预测 [J] . 胡鸿豪 ,宋丽平 ,肖绚 . 计算机工程与应用 . 2010,第015期
5. 森林立地类型的自动分类及其编图的方法研究 [J] . 许红卫 . 科技通报 . 1993,第6期
6. 结构可靠性设计中基本变量的分布类型及其参数的推断问题 [C] . 陈基发 . 中国土木工程学会工程结构可靠性全国第三届学术交流会议 . 1992
7. 指针程序的分析以及循环不变形状图的推断 [A] . 刘刚 . 2011

指针类型递归函数前后形状图的自动推断

摘要

著录项

相似文献

相关主题

期刊订阅