6 search results - page 2 / 2 » aaecc 2005 |
127
click to vote
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...