444 search results - page 1 / 89 » Termination by Abstraction |
85
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
traction for Size-Change Termination
208
Voted
POPL
2005
ACM
16 years 24 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
87
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
85
Voted
SAS
2001
Springer
15 years 4 months ago
2001
Springer
