Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
(→‎Data: New TPDB repo)
 
Line 4: Line 4:
 
== Syntax and semantics specification ==
 
== Syntax and semantics specification ==
  
 
+
* for versions from 11.* onwards (XML format): [https://github.com/TermCOMP/TPDB/raw/master/xml/xtc.xsd xtc.xsd], already part of the [https://github.com/TermCOMP/TPDB TPDB]
 
* for versions from 7.* onwards (XML format): [http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB/raw-file/tip/xml/xtc.xsd xtc.xsd], already part of the [http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB TPDB]
 
* for versions from 7.* onwards (XML format): [http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB/raw-file/tip/xml/xtc.xsd xtc.xsd], already part of the [http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB TPDB]
 
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
 
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html

Latest revision as of 02:08, 18 June 2020

The Termination Problems Data Base collects termination problems that are being used in termination competitions.

Syntax and semantics specification

see also:

Data

Sources

TPDB problems are collected from a variety of sources, by a variety of contributors. Often, the author of the problem is not the creator of the respective TPDB file. Sometimes, TPDB file structure (directory names) have been changed.

The following are references for classical problem sets that appear in TPDB.

And here are some extra bits of trivia.

  • SRS termination problems ICFP_2010 and ICFP_2010_relative were produced by participants of the ICFP 2010 programming contest, organized by Bertram Felgenhauer and Johannes Waldmann. All of these problems are terminating by construction. See https://www.imn.htwk-leipzig.de/~waldmann/talk/10/icfp/

Tools

java -jar convert.jar someTrs.trs > someTrs.xml 
  • converter from 7.* (XML) format to pre-7 (textual) format: xtc2tpdb.xsl, already part of the TPDB, usage:
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
  • Haskell library for reading and writing TPDB (plain and XML format) [1]