Author:
Genaim Samir,Zanardini Damiano
Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. Termination analysis of Java bytecode;Albert,2008
2. COSTA: design and implementation of a cost and termination analyzer for java bytecode;Albert,2008
3. Cost analysis of object-oriented bytecode programs;Albert;Theoretical Computer Science,2012
4. I. Balaban, A. Pnueli, L.D. Zuck, Shape analysis by predicate abstraction, in: Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI, January 2005, pp. 164–180.
5. I. Balaban, A. Pnueli, L.D. Zuck, Shape analysis of single-parent heaps, in: Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI, January 2007, pp. 91–105.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Jinja bytecode to term rewriting: A complexity reflecting transformation;Information and Computation;2018-08
2. Field-sensitive sharing;Journal of Logical and Algebraic Methods in Programming;2018-02
3. Abstract Program Slicing;ACM Transactions on Computational Logic;2017-04-13
4. Field-sensitive unreachability and non-cyclicity analysis;Science of Computer Programming;2014-12
5. Inference of Field-Sensitive Reachability and Cyclicity;ACM Transactions on Computational Logic;2014-08