126
Voted
AAECC
2005
Springer
15 years 2 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
199
Voted
POPL
2001
ACM
16 years 3 months ago
2001
ACM