|
7
|
Integrating reasoning about ordinal arithmetic into ACL2
– Panagiotis Manolios, Daron Vroon
- 2004
|
|
228
|
Computer-Aided Reasoning: An Approach
– M Kaufmann, P Manolios, J S Moore
- 2000
|
|
156
|
The Size-Change Principle for Program Termination
– Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram
- 2001
|
|
9
|
Ordinal arithmetic in ACL2
– Panagiotis Manolios, Daron Vroon
- 2003
|
|
50
|
SSA is Functional Programming
– Andrew W. Appel
- 1998
|
|
47
|
Automated Termination Proofs with AProVE
– Jürgen Giesl, René Thiemann, Peter Schneider-kamp, Stephan Falke
- 2004
|
|
24
|
and Jürgen Giesl. Termination of term rewriting using dependency pairs
– Thomas Arts
- 2000
|
|
44
|
Termination of polynomial programs
– Aaron R. Bradley, Zohar Manna, Henny B. Sipma
- 2005
|
|
51
|
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
– Patrick Cousot
- 2005
|
|
89
|
A complete method for the synthesis of linear ranking functions
– A Podelski, A Rybalchenko
- 2004
|
|
45
|
Structured Theory Development for a Mechanized Logic
– Matt Kaufmann, J Strother Moore
- 1999
|
|
10
|
Algorithms for ordinal arithmetic
– Panagiotis Manolios, Daron Vroon
- 2003
|
|
143
|
JB, Stata R. Extended static checking for java
– C Flanagan, Leino KRM, M Lillibridge, G Nelson, Saxe
- 2002
|
|
348
|
Automatically validating temporal safety properties of interfaces
– Thomas Ball, Sriram K. Rajamani
- 2001
|
|
1
|
Integrating static analysis and general-purpose theorem proving for termination analysis
– Panagiotis Manolios, Daron Vroon
- 2006
|
|
87
|
A Semantic Basis for the Termination Analysis of Logic Programs
– Michael Codish, Cohavit Taboch
- 1999
|
|
41
|
Abstraction Refinement for Termination
– Byron Cook, Andreas Podelski, Andrey Rybalchenko
- 2005
|
|
29
|
Termination of Linear Programs
– Ashish Tiwari
- 2004
|
|
914
|
On computable numbers, with an application to the “Entscheidungsproblem
– A Turing
|
