贝特朗·珍妮特;阿列克谢·罗尼诺夫;代表,托马斯;穆利·萨吉夫 程序间形状分析的关系方法。 (英语) Zbl 1104.68416号 Giacobazzi,Roberto(编辑),静态分析。2004年8月26日至28日,第11届国际研讨会,SAS 2004,意大利维罗纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22791-1/pbk)。《计算机科学讲义》3148、246-264(2004年)。 摘要:本文讨论了使用递归过程调用、堆分配存储和破坏性更新指针值字段(即过程间形状分析)来验证命令式程序的属性。它提供了一种方法来利用一些先前已知的方法进行过程间数据流分析,而在过去的工作中,这些方法仅适用于过程间形状分析中不太丰富的设置。关于整个系列,请参见[Zbl 1056.68010号]. 引用于6文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68第05页 数据结构 软件:小脚;八角形 PDF格式BibTeX公司 XML格式引用 \textit{B.Jeannet}等人,Lect。票据计算。科学。3148246--264(2004;Zbl 1104.68416) 全文: 内政部