首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

指针逻辑的扩展与应用

摘要第1-7页
Abstract第7-13页
第1章 绪论第13-31页
   ·指针程序验证的相关研究第14-26页
     ·Hoare逻辑第14-17页
     ·分离逻辑第17-21页
     ·无存储语义方法第21-24页
     ·指针逻辑第24-26页
   ·存在的问题和发展方向第26-27页
   ·本文概述第27-31页
     ·研究内容和主要贡献第27-30页
     ·章节安排第30-31页
第2章 指针逻辑第31-57页
   ·MiniPointerC第31-35页
     ·语法第31-33页
     ·操作语义第33-35页
   ·无存储抽象模型第35-43页
     ·访问路径和别名第35-39页
     ·内存状态第39-43页
   ·指针逻辑第43-54页
     ·断言语言第43-46页
     ·指针逻辑规则第46-53页
     ·保证基本安全性质第53-54页
   ·本章小结第54-57页
     ·相关工作第54-55页
     ·本章小结第55-57页
第3章 指针逻辑扩展第57-75页
   ·e-PointerC语言第57-59页
   ·断言语言扩展第59-60页
   ·模块化推理第60-65页
     ·对象可达性第61-62页
     ·推理规则第62-63页
     ·实例研究第63-65页
   ·支持指针算术的指针逻辑第65-70页
     ·推理规则第65-69页
     ·实例研究第69-70页
   ·带标签的指针逻辑第70-74页
     ·推理规则第71-72页
     ·实例研究第72-74页
   ·本章小结第74-75页
第4章 指针逻辑验证系统的实现与应用第75-95页
   ·指针逻辑规则的实现第75-80页
     ·核心算法第76-80页
   ·展开机制第80-84页
     ·展开归纳谓词第81-83页
     ·展开描述性谓词第83-84页
   ·Schorr-Waite树遍历算法的自动验证第84-90页
     ·算法源代码第85-87页
     ·规范第87-89页
     ·验证第89-90页
   ·实现与实验评估第90-92页
   ·本章小结第92-95页
     ·相关工作第92-93页
     ·本章小结第93-95页
第5章 结束语第95-99页
   ·论文工作总结第95-97页
   ·进一步的工作第97-99页
参考文献第99-105页
致谢第105-107页
在读期间发表的学术论文与取得的研究成果第107-108页

论文共108页,点击 下载论文
上一篇:用于指针逻辑的自动定理证明器的设计与实现
下一篇:需求驱动的软件安全缺陷自动测试生成