The Termination Competition

C. Marché, H. Zantema

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

27 Citaten (Scopus)
108 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France
RedacteurenF. Baader
Plaats van productieBerlin, Germany
UitgeverijSpringer
Pagina's303-313
ISBN van geprinte versie978-3-540-73447-5
DOI's
StatusGepubliceerd - 2007
Evenementconference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28 -
Duur: 26 jun 200728 jun 2007

Publicatie series

NaamLecture Notes in Computer Science
Volume4533
ISSN van geprinte versie0302-9743

Congres

Congresconference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28
Periode26/06/0728/06/07
AnderRTA 2007, Paris, France

Citeer dit