Termination analysis with calling context graphs (2006)

Cached

Download Links

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

Documents Related by Co-Citation

176 The Size-Change Principle for Program Termination – Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram - 2001
261 S.: Computer-Aided Reasoning: An Approach – M Kaufmann, P Manolios, J Moore - 2000
134 Termination proofs for systems code – Byron Cook, Andreas Podelski, Andrey Rybalchenko - 2006
210 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2000
14 Certified size-change termination – Alexander Krauss - 2007
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
59 Automating the dependency pair method – Nao Hirokawa, Aart Middeldorp - 2003
67 Mechanizing and Improving Dependency Pairs – Jürgen Giesl, René Thiemann, Stephan Falke - 2006
41 A General Framework for Automatic Termination Analysis of Logic Programs – Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik - 2000
58 Practical methods for proving program termination – Michael A. Col'on, Henny B. Sipma - 2002
90 Transition Invariants – Andreas Podelski, Andrey Rybalchenko
52 Transition predicate abstraction and fair termination – Andreas Podelski, Andrey Rybalchenko - 2005
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
26 Interprocedural Analysis of Asynchronous Programs – Ranjit Jhala, et al. - 2007
54 The dependency pair framework: Combining techniques for automated termination proofs – Jürgen Giesl, René Thiemann, Peter Schneider-kamp - 2005
33 Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages – Jürgen Giesl, Stephan Swiderski, René Thiemann - 2006
15 Finiteness Analysis in Polynomial Time – Chin Soon Lee - 2002
21 Testing for termination with monotonicity constraints – Michael Codish, Vitaly Lagoon, Peter J. Stuckey - 2005
16 Size-change termination and bound analysis – J Avery