基于堆抽象的逻辑相关区域识别
计算机科学中的逻辑
2012-12-21 v1 软件工程
摘要
本文提出了一套新的堆抽象算法，用于识别堆中逻辑相关的区域。目标区域包括属于同一组件结构（递归数据结构）的对象。该技术的结果形式为紧凑范式（抽象模型），通过加速收敛来提高静态分析的效率。堆抽象的结果连同数据结构的一些属性，可用于实现程序优化，如静态释放、池分配、基于区域的内存回收和对象共置。更精确地说，本文提出了针对单链表、二叉树、循环和有向无环图布局的堆组件抽象算法。研究了这些算法的终止性和正确性。在介绍算法时，还给出了堆表示的具体和抽象模型。
引用
@article{arxiv.1212.5094,
title = {Recognition of Logically Related Regions Based Heap Abstraction},
author = {Mohamed A. El-Zawawy},
journal= {arXiv preprint arXiv:1212.5094},
year = {2012}
}
备注
15 pages