诺姆·里内茨基;穆利萨吉夫 递归程序的过程间形状分析。 （英语） Zbl 0977.68688号 Wilhelm，Reinhard（编辑），《编译器构造》。第十届国际会议，CC2001。作为2001年4月2日至6日在意大利热那亚举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2027, 133-149 (2001). 摘要：形状分析算法对程序进行静态分析，以确定有关程序操作的堆分配数据结构的信息。结果可用于优化、理解、调试或验证程序。在存在递归过程调用的情况下，现有算法相当不精确。这很不幸，因为递归提供了操作链接数据结构的自然方法。我们提出了一种递归程序形状分析的新技术。基于我们的技术实现了一种算法。它处理处理用C的子集编写的链表的程序。该算法比现有算法要精确得多。例如，它可以验证许多递归程序中是否存在内存泄漏；这超出了现有算法的能力。关于整个系列，请参见[兹伯利0977.68835]. 引用于2文件 MSC公司： 68单位99 计算方法和应用 68N20型 编译与解释理论 软件：电视节目 PDF格式BibTeX公司 XML格式引用 \textit{N.Rinetzky}和\textit{M.Sagiv}，莱克特。注释计算。科学。2027年，133--149（2001年；Zbl 0977.68688） 全文： 链接