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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Marché, C., & Zantema, H. (2007). The termination competition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4533 LNCS, pp. 303–313). Springer Verlag. https://doi.org/10.1007/978-3-540-73449-9_23
Mendeley helps you to discover research relevant for your work.