Author:
Brockschmidt Marc,Otto Carsten,von Essen Christian,Giesl Jürgen
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;E. Albert,2008
2. Lecture Notes in Computer Science;J. Berdine,2006
3. Brockschmidt, M., Otto, C., von Essen, C., Giesl, J.: Termination graphs for Java Bytecode. Technical Report AIB-2010-15, RWTH Aachen (2010), http://aib.informatik.rwth-aachen.de
4. Lecture Notes in Computer Science;M. Colón,2002
5. Cook, B., Podelski, A., Rybalchenko, A.: Termination proofs for systems code. In: Schwartzbach, M.I., Ball, T. (eds.) PLDI 2006, pp. 415–426. ACM Press, New York (2006)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Neural termination analysis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. Lower-Bound Synthesis Using Loop Specialization and Max-SMT;Computer Aided Verification;2021
3. From Jinja bytecode to term rewriting: A complexity reflecting transformation;Information and Computation;2018-08
4. Certifying Safety and Termination Proofs for Integer Transition Systems;Automated Deduction – CADE 26;2017
5. Complexity Analysis for Java with AProVE;Lecture Notes in Computer Science;2017