Author:
Ferrara Pietro,Müller Peter,Novacek Milos
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2013
2. Bouajjani, A., Drăgoi, C., Enea, C., Sighireanu, M.: On inter-procedural analysis of programs with lists and data. In: PLDI. ACM (2011)
3. Lecture Notes in Computer Science;A. Bouajjani,2012
4. Bunke, H., Jiang, X., Kandel, A.: On the minimum common supergraph of two graphs. Computing 65(1), 13–25 (2000)
5. Chang, B.-Y.E., Rival, X.: Relational inductive shape analysis. In: POPL. ACM (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Evaluating Design Tradeoffs in Numeric Static Analysis for Java;Programming Languages and Systems;2018
2. Thread-modular static analysis for relaxed memory models;Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering;2017-08-21
3. Exact Heap Summaries for Symbolic Execution;Lecture Notes in Computer Science;2015-12-25