Interprocedural heap analysis for parallelizing imperative programs
Author:
Assman U.,Weinhardt M.
Publisher
IEEE Comput. Soc. Press
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Heap Abstractions for Static Analysis;ACM Computing Surveys;2016-11-11
2. Abstractions of data types;Acta Informatica;2006-03-14
3. A Low-Level Analysis Library for Architecture Recovery;Electronic Notes in Theoretical Computer Science;2003-04
4. Parametric shape analysis via 3-valued logic;ACM Transactions on Programming Languages and Systems;2002-05
5. Interprocedural Shape Analysis for Recursive Programs;Lecture Notes in Computer Science;2001