Termination analysis with calling context graphs (2006)


Download Links

by Panagiotis Manolios , Daron Vroon
Venue:of Lecture Notes in Computer Science
Citations:26 - 5 self

Active Bibliography

4 Proving Termination by Divergence – Domagoj Babić, Alan J. Hu, Zvonimir Rakamarić, Byron Cook - 2007
Under consideration for publication in Formal Aspects of Computing Proving Termination of Nonlinear Command Sequences – Domagoj Babić, Byron Cook, Alan J. Hu, Zvonimir Rakamarić
134 Termination proofs for systems code – Byron Cook, Andreas Podelski, Andrey Rybalchenko - 2006
38 Variance analyses from invariance analyses – Josh Berdine, Dino Distefano - 2007
37 Terminator: Beyond safety – Byron Cook, Andreas Podelski, Andrey Rybalchenko - 2006
All-Termination(T) ⋆ – Panagiotis Manolios, Aaron Turon
6 A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs – Stephan Falke, Deepak Kapur
3 A Region Graph Based Approach to Termination Proofs – Stefan Leue, Wei Wei - 2006
36 The polyranking principle – Aaron R. Bradley, Zohar Manna, Henny B. Sipma - 2005
An Application of Ramsey’s Theorem to Proving Programs Terminate – Exposition William Gasarch
30 Termination Analysis of Java Bytecode – E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini
2 Integrating CCG analysis into ACL2 – Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Daron Vroon
3 Discovering non-linear ranking functions by solving semi-algebraic systems – Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
48 Abstraction refinement for termination – Byron Cook, Andreas Podelski, Andrey Rybalchenko
1 Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes – Stefan Leue
34 Proving that programs eventually do something good – Byron Cook, Andrey Rybalchenko - 2007
Proving Programs Terminate using Well Orderings, Ramsey Theory – Exposition William Gasarch
7 Integrating reasoning about ordinal arithmetic into ACL2 – Panagiotis Manolios, Daron Vroon - 2004