advertisement

TC

75 %
25 %
advertisement
Information about TC
Entertainment

Published on October 9, 2007

Author: Heather

Source: authorstream.com

advertisement

Termination competition 2005 http://www.lri.fr/~marche/termination-competition/2005/:  Termination competition 2005 http://www.lri.fr/~marche/termination-competition/2005/ Claude Marché Hans Zantema Université Paris-Sud TU Eindhoven France The Netherlands Objective::  Objective: Compare various tools for proving termination of programs, TRSs,…. by running them on an extensive set TPDB (termination problem data base) of termination problems Stimulate research in this area, shifting emphasis towards automation Provide a standard to valuate (new) termination techniques History::  History: WST 2003, Valencia, Albert Rubio, development of TPDB WST 2004, Aachen, Claude Marché, actual competition executed fully automatically the week before April 2005, reported at RTA, Nara Categories::  Categories: (logic) programs: not this year TRS: term rewriting Termination (773) Innermost termination (65) Termination modulo AC (54) Context-sensitive (not this year) Conditional rewriting (not this year) Relative termination (34) SRS: string rewriting Termination (153) Relative termination (13) How did we manage?:  How did we manage? Full schedule and rules of the game announced in advance Open submission of new problems for TPDB until few weeks before competition This TPDB was publicly available for testing and tuning the tools Just before competition: participants submitted Final versions of the tools Secret problems, up to 5 per participant per category In this way participants also being organizer had no advantage of being organizer Running the competition:  Running the competition Secret problems added to TPDB All tools apply on all problems in the corresponding TPDB categories, all on the same machine Results are: YES, followed by text of proof (sketch) NO, followed by text of proof (sketch) DON’T KNOW, or time-out (1 minute for every problem) All results are reported on-line, including generated proof text, and statistics about scores and running time Total running time: several days All this machinery was developed by Claude Marché The participants:  The participants AProVE (Aachen: Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, ….) CiME (Paris: Claude Marché, ….) Jambox (Leipzig: Jörg Endrullis) Matchbox (Leipzig: Johannes Waldmann) TEPARLA (Eindhoven: Jeroen van der Wulp) TORPA (Eindhoven: Hans Zantema) TPA (Eindhoven: Adam Koprowski) TTT (Tsukuba, Innsbrück: Aart Middeldorp, Nao Hirokawa) SRS results:  SRS results Total number 153 13 YES time NO relative AProVE 114 3.4 4 CiME 37 2.4 - Jambox 102 2.1 9 Matchbox 66 1.4 9 TEPARLA 74 3.7 1 11 TORPA 126 0.04 5 12 TPA 65 3.5 - 10 TTT 60 0.4 1 TRS results:  TRS results standard innermost AC relative Total number 773 65 54 34 YES time NO YES No YES YES AProVE 576 1.7 94 63 1 51 CiME 311 1.0 - 42 Matchbox 165 3.1 80 TEPARLA 347 1.2 15 15 TPA 407 1.4 - 23 TTT 509 0.46 1 50 - Conclusions:  Conclusions Big improvements compared to 2004 Best tool in TRS category: AProVE Best tool in SRS category: TORPA Tools giving proofs for which all other tools failed: AProVE, CiME, Jambox, TEPARLA, TORPA, TPA Executables of all tools available Impact: big participants remain colleagues rather than competitors non-participating tools not taken serious any more Still unsolved: aabc, bbac, ccab

Add a comment

Related presentations

Related pages

TC – Wikipedia

Die Abkürzung TC steht für: Air Tanzania, tansanische Fluggesellschaft nach dem IATA-Code; Amigonianer, eine Ordensgemeinschaft der römisch-katholischen ...
Read more

Community | triff-chemnitz.de

tc-fm Sagt Danke - Für 5 Tolle Jahre :) 282 Mitglieder online. Startseite tc-Shop News Blogs Kontaktanzeigen Flohmarkt Hotvote Kalender Chat ...
Read more

TC-Homepages

Die Erwartungen zum Relaunch unserer neuen Homepage durch TC-Homepages wurden absolut erfüllt! Angefangen vom Konzept bis zur Realisierung und nicht ...
Read more

Vocal-Effekte, intelligente ... - TC-Helicon

Wir sind ein Team passionierter Spezialisten (darunter Musiker, Produzenten und DJs), die daran glauben, dass die menschliche Stimme das großartigste ...
Read more

TC Electronic

TC Electronic has been a world-leader in pristine, digital and analog audio processing since 1976. Today its product range comprises guitar effects, bass ...
Read more

TC 2016 - Home

Die Touristik & Caravaning (TC) ist Mitteldeutschlands größte Reisemesse für Touristik, Caravaning & Camping sowie Fahrrad. Vom 16. bis 20. November ...
Read more

Technetium – Wikipedia

Technetium ist ein chemisches Element mit dem Elementsymbol Tc und der Ordnungszahl 43. Es kommt auf der Erde natürlicherweise vor, wenn auch in sehr ...
Read more

Tennisclub Blau-Weiß Heppenheim e.V. - TCH - der 1906 ...

Ein wenig mehr Resonanz hätten sie sich doch gewünscht, die Organisatoren der ersten Heppenheimer Tennis-Stadtmeisterschaften 2016 beim TC Blau-Weiß. 55 ...
Read more

Lang und Schwarz Tradecenter - ls-tc.de

Hier geht es zur LS Exchange, dem börslichen Handel von Lang & Schwarz Hinweis: Wiederaufnahme des Handels des DWS Vietnam Fonds, neuer Name: Vietnam ...
Read more

TC Dietenbachpark e.V. - Unser Club

der TC Dietenbachpark e.V. wurde gegründet, um ganz normalen netten Menschen eine kostengünstige Möglichkeit zu bieten, Tennis zu spielen, jenseits ...
Read more