Since 2004, a Termination Competition is organized every year. This competition boosted a lot the development of automatic termination tools, but also the design of new techniques for proving termination. We present the background, results, and conclusions of the three first editions, and discuss perspectives and challenges for the future.
|Name||Lecture Notes in Computer Science|
|Conference||conference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28|
|Period||26/06/07 → 28/06/07|
|Other||RTA 2007, Paris, France|