The Termination Competition

C. Marché, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

17 Citations (Scopus)
92 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France
EditorsF. Baader
Place of PublicationBerlin, Germany
PublisherSpringer
Pages303-313
ISBN (Print)978-3-540-73447-5
DOIs
Publication statusPublished - 2007
Eventconference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28 -
Duration: 26 Jun 200728 Jun 2007

Publication series

NameLecture Notes in Computer Science
Volume4533
ISSN (Print)0302-9743

Conference

Conferenceconference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28
Period26/06/0728/06/07
OtherRTA 2007, Paris, France

Cite this