Author:
Castelnuovo Ghila,Naik Mayur,Rinetzky Noam,Sagiv Mooly,Yang Hongseok
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Ball, T., Rajamani, S.: Bebop: a path-sensitive interprocedural dataflow engine. In: PASTE (2001)
2. Bodden, E.: Inter-procedural data-flow analysis with ifds/ide and soot. In: SOAP (2012)
3. Calcagno, C., Distefano, D., O’Hearn, P.W., Yang, H.: Compositional shape analysis by means of bi-abduction. J. ACM 58(6), 26 (2011)
4. Castelnuovo, G.: Modular lattices for compositional interprocedural analysis. Master’s thesis, School of Computer Science, Tel Aviv University (2012)
5. Chatterjee, R., Ryder, B.G., Landi, W.: Relevant context inference. In: POPL (1999)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献