TPDB - Revision history

Ffrohn: /* Data */

2025-10-31T10:51:57Z

Data

2025-06-18T11:49:20Z

TPDB-ARI (since is the only version which also contains the probabilistic TRS examples)

2020-06-18T02:08:05Z

Syntax and semantics specification: Link to new TPDB

2020-06-18T01:59:13Z

Data: New TPDB repo

2018-07-16T12:44:51Z

Sources

2018-07-16T10:15:51Z

Tools

2018-07-15T18:14:10Z

Sources

2018-07-15T18:06:07Z

Data

2018-07-15T18:05:04Z

Sources

2018-07-15T18:04:16Z

Sources

@@ Line 13: / Line 13: @@
 == Data ==
-* version 11.0 (2019): https://github.com/TermCOMP/TPDB-ARI
+* since 2024: https://github.com/TermCOMP/TPDB-ARI
 * version 9.0 (2014), 10.3 (2015), 10.4 (2016), 10.5 (2017), 10.6 (2018) http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB
 * version 7.* (2009), 8.0 (2010), 8.0.1 (2011), 8.0.6 (2012) and 8.0.7 (2013) http://termcomp.uibk.ac.at/status/downloads/

@@ Line 13: / Line 13: @@
 == Data ==
-* version 11.0 (2019): https://github.com/TermCOMP/TPDB
+* version 11.0 (2019): https://github.com/TermCOMP/TPDB-ARI
 * version 9.0 (2014), 10.3 (2015), 10.4 (2016), 10.5 (2017), 10.6 (2018) http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB
 * version 7.* (2009), 8.0 (2010), 8.0.1 (2011), 8.0.6 (2012) and 8.0.7 (2013) http://termcomp.uibk.ac.at/status/downloads/

@@ Line 4: / Line 4: @@
 == 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 up to 5.*: http://www.lri.fr/~marche/tpdb/format.html

@@ Line 13: / Line 13: @@
 == Data ==
 * version 9.0 (2014), 10.3 (2015), 10.4 (2016), 10.5 (2017), 10.6 (2018) http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB
 * version 7.* (2009), 8.0 (2010), 8.0.1 (2011), 8.0.6 (2012) and 8.0.7 (2013) http://termcomp.uibk.ac.at/status/downloads/

@@ Line 32: / Line 32: @@
 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 Bertragm Felgenhauer and Johannes Waldmann. ''All'' of these problems are terminating by construction. See https://www.imn.htwk-leipzig.de/~waldmann/talk/10/icfp/
+* 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 ==

← Older revision		Revision as of 10:15, 16 July 2018
Line 42:		Line 42:

	xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs		xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
		+
		+	* converter from 7.* (XML) format to HTML: [http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB/raw-file/tip/xml/xtcHTML.xsl xtcHTML.xsl], see explanation at http://lists.lri.fr/pipermail/termtools/2018-July/001212.html

	* Haskell library for reading and writing TPDB (plain and XML format) [http://hackage.haskell.org/package/tpdb]		* Haskell library for reading and writing TPDB (plain and XML format) [http://hackage.haskell.org/package/tpdb]

@@ Line 28: / Line 28: @@
 * TRS/D33 Nachum Dershowitz: 33 Examples of Termination, 1995 Proc. French Spring School of Theoretical Computer Science, LNCS 909, http://www.math.tau.ac.il/~nachumd/papers/printemp-print.pdf
 * TRS/AG01 Thomas Arts, Jürgen Giesl: Termination of term rewriting using dependency pairs, 2000, http://dblp.uni-trier.de/rec/bibtex/journals/tcs/ArtsG00 http://verify.rwth-aachen.de/giesl/papers/ibn-97-46.ps
-* SRS/Zantema 128 string rewriting termination problems collected by Hans Zantema (2004?)
+* SRS/Zantema 128 string rewriting termination problems collected by Hans Zantema (2004?). They include (as z027 .. z064) a set of one-rule termination problems by Alfons Geser (Habilitationsschrift, Tübingen, 2001) and possibly Winfried Kurth (Dissertation, Clausthal, 1990)
 And here are some extra bits of trivia.

@@ Line 20: / Line 20: @@
 == Sources ==
 The following are references for classical problem sets that appear in TPDB.
@@ Line 28: / Line 30: @@
 * SRS/Zantema 128 string rewriting termination problems collected by Hans Zantema (2004?)
-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.
+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 Bertragm Felgenhauer and Johannes Waldmann. ''All'' of these problems are terminating by construction. See https://www.imn.htwk-leipzig.de/~waldmann/talk/10/icfp/

← Older revision		Revision as of 18:04, 15 July 2018
Line 29:		Line 29:

	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.		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.
		+
		+	* SRS termination problems ICFP_2010 and ICFP_2010_relative were produced by participants of the ICFP 2010 programming contest, organized by Bertragm Felgenhauer and Johannes Waldmann. ''All'' of these problems are terminating by construction. See https://www.imn.htwk-leipzig.de/~waldmann/talk/10/icfp/

	== Tools ==		== Tools ==