http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=MraffelsTermination-Portal.org - User contributions [en]2026-04-16T19:10:27ZUser contributionsMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:TrafO&diff=806Tools:TrafO2009-05-18T14:52:03Z<p>Mraffels: </p>
<hr />
<div><!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
<br />
Please use the "publication" field to add a reference to a publication<br />
introducing your tool. The "References" page can be used to enter a bibtex<br />
record for this publication.<br />
Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br />
--><br />
<br />
{{Tool<br />
|shortname=TrafO<br />
|longname=Transformation of Outermost Termination<br />
|homepage=http://www.win.tue.nl/~mraffels/trafo.html<br />
|country=NL<br />
|university=TU Eindhoven<br />
|developers=[[People:Matthias Raffelsieper|Matthias Raffelsieper]] and [[People:Hans Zantema|Hans Zantema]]<br />
|publication=[[Bibtex:RZ09|A Transformational Approach to Prove Outermost Termination Automatically]]<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --><br />
<br />
The version of the tool that participated in the [[Outermost|outermost]] strategy category of the<br />
[[Termination Competition]] 2008 used the transformations T_1 and T_3 of the above reference and both<br />
the tools [[Tools:AProVE|AProVE]] and [[Tools:Jambox|Jambox]] in the versions that participated in the<br />
2007 Termination Competition as backends.</div>Mraffelshttp://termination-portal.org/mediawiki/index.php?title=People:Matthias_Raffelsieper&diff=805People:Matthias Raffelsieper2009-05-18T14:51:11Z<p>Mraffels: New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...</p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname=Matthias<br />
|middlenames=<br />
|lastname=Raffelsieper<br />
|titles=<br />
|email=<br />
|homepage=http://www.win.tue.nl/~mraffels/<br />
|country=The Netherlands<br />
|university=Technische Universiteit Eindhoven<br />
|department=Mathematics and Computer Science<br />
|role=PhD Student <!-- role: Student, Professor, PhD Student, ... --><br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Mraffelshttp://termination-portal.org/mediawiki/index.php?title=Tools:TrafO&diff=804Tools:TrafO2009-05-18T14:47:17Z<p>Mraffels: </p>
<hr />
<div><!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
<br />
Please use the "publication" field to add a reference to a publication<br />
introducing your tool. The "References" page can be used to enter a bibtex<br />
record for this publication.<br />
Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br />
--><br />
<br />
{{Tool<br />
|shortname=TrafO<br />
|longname=Transformation of Outermost Termination<br />
|homepage=http://www.win.tue.nl/~mraffels/trafo.html<br />
|country=NL<br />
|university=TU Eindhoven<br />
|developers=Matthias Raffelsieper and Hans Zantema<br />
|publication=[[Bibtex:RZ09|A Transformational Approach to Prove Outermost Termination Automatically]]<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --><br />
<br />
The version of the tool that participated in the [[Outermost|outermost]] strategy category of the<br />
[[Termination Competition]] 2008 used the transformations T_1 and T_3 of the above reference and both<br />
the tools [[Tools:AProVE|AProVE]] and [[Tools:Jambox|Jambox]] in the versions that participated in the<br />
2007 Termination Competition as backends.</div>Mraffelshttp://termination-portal.org/mediawiki/index.php?title=Bibtex:RZ09&diff=803Bibtex:RZ092009-05-18T14:37:08Z<p>Mraffels: New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination...</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{RZ09,<br />
title = "A Transformational Approach to Prove Outermost Termination Automatically",<br />
author = "Matthias Raffelsieper and Hans Zantema",<br />
booktitle = "Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008)",<br />
series = "Electronic Notes in Theoretical Computer Science",<br />
volume = "237",<br />
number = "",<br />
pages = "3--21",<br />
year = "2009",<br />
issn = "1571-0661",<br />
doi = "DOI: 10.1016/j.entcs.2009.03.032",<br />
url = "http://www.sciencedirect.com/science/article/B75H1-4VXW9BM-2/2/605a0eb821e594c2a7e88892fa106a0a"<br />
}<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Mraffels