http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=Dean+Voets 2026-05-08T12:59:35Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Tools:PTNT&diff=1118 2010-07-05T15:33:29Z

<p>Dean Voets: </p> <hr /> <div>&lt;!--<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 &quot;publication&quot; field to add a reference to a publication<br /> introducing your tool. The &quot;References&quot; page can be used to enter a bibtex<br /> record for this publication.<br /> Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br /> --&gt;<br /> <br /> {{Tool<br /> |shortname=pTNT<br /> |longname=proving Typed Non-Termination<br /> |homepage=http://www.cs.kuleuven.be/~dean/pTNT.html<br /> |country=belgium<br /> |university=Leuven<br /> |developers=Dean Voets and Danny De Schreye<br /> |publication=[[Bibtex:VDS10|Non-termination Analysis of Logic Programs using Types]]<br /> }}<br /> <br /> &lt;!-- If you want to add some additional information to the tool page, you can do so after this comment. --&gt;</div>

Dean Voets http://termination-portal.org/mediawiki/index.php?title=Tools:PTNT&diff=1117 2010-07-05T15:31:29Z

<p>Dean Voets: Created page with '&lt;!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page y…'</p> <hr /> <div>&lt;!--<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 &quot;publication&quot; field to add a reference to a publication<br /> introducing your tool. The &quot;References&quot; page can be used to enter a bibtex<br /> record for this publication.<br /> Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br /> --&gt;<br /> <br /> {{Tool<br /> |shortname={pTNT}<br /> |longname={proving Typed Non-Termination}<br /> |homepage={http://www.cs.kuleuven.be/~dean/pTNT.html}<br /> |country={belgium}<br /> |university={Leuven}<br /> |developers={Dean Voets and Danny De Schreye}<br /> |publication=[[Bibtex:VDS10|Non-termination Analysis of Logic Programs using Types]]<br /> }}<br /> <br /> &lt;!-- If you want to add some additional information to the tool page, you can do so after this comment. --&gt;</div>

Dean Voets http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS10&diff=1116 2010-07-05T15:29:12Z

<p>Dean Voets: Created page with ' &lt;!-- remove this line if this is not a new publication --&gt; == BibTex == &lt;!-- Please add the BibTeX data below this comment. --&gt;…'</p> <hr /> <div>[[Category:Bibtex| ]]<br /> [[Category:BibtexNews| ]] &lt;!-- remove this line if this is not a new publication --&gt;<br /> == BibTex ==<br /> &lt;!-- Please add the BibTeX data below this comment. --&gt;<br /> &lt;bibtex&gt;<br /> @inproceedings{VDS10,<br /> author = {Dean Voets and Danny De Schreye},<br /> title = {Non-termination Analysis of Logic Programs using Types},<br /> booktitle = {LOPSTR 2010, to appear},<br /> year = {2010},<br /> pages = {?},<br /> note = {accepted for publication}<br /> }<br /> &lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div>

Dean Voets http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS09&diff=1115 2010-07-05T15:22:26Z

<p>Dean Voets: /* BibTex */</p> <hr /> <div>[[Category:Bibtex| ]]<br /> [[Category:BibtexNews| ]] &lt;!-- remove this line if this is not a new publication --&gt;<br /> == BibTex ==<br /> &lt;!-- Please add the BibTeX data below this comment. --&gt;<br /> &lt;bibtex&gt;<br /> @inproceedings{VDS09,<br /> author = {Dean Voets and Danny De Schreye},<br /> title = {A New Approach to Non-termination Analysis of Logic Programs},<br /> booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},<br /> year = {2009},<br /> isbn = {978-3-642-02845-8},<br /> pages = {220--234},<br /> location = {Pasadena, CA},<br /> doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},<br /> publisher = {Springer-Verlag},<br /> address = {Berlin, Heidelberg}<br /> }<br /> <br /> &lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div>

Dean Voets http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS09&diff=1114 2010-07-05T15:21:48Z

<p>Dean Voets: /* BibTex */</p> <hr /> <div>[[Category:Bibtex| ]]<br /> [[Category:BibtexNews| ]] &lt;!-- remove this line if this is not a new publication --&gt;<br /> == BibTex ==<br /> &lt;!-- Please add the BibTeX data below this comment. --&gt;<br /> &lt;bibtex&gt;<br /> @inproceedings{VDS09,<br /> author = {Voets, Dean and Schreye, Danny},<br /> title = {A New Approach to Non-termination Analysis of Logic Programs},<br /> booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},<br /> year = {2009},<br /> isbn = {978-3-642-02845-8},<br /> pages = {220--234},<br /> location = {Pasadena, CA},<br /> doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},<br /> publisher = {Springer-Verlag},<br /> address = {Berlin, Heidelberg}<br /> }<br /> <br /> &lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div>

Dean Voets http://termination-portal.org/mediawiki/index.php?title=Bibtex:VDS09&diff=1113 2010-07-05T15:20:04Z

<p>Dean Voets: Created page with ' &lt;!-- remove this line if this is not a new publication --&gt; == BibTex == &lt;!-- Please add the BibTeX data below this comment. --&gt;…'</p> <hr /> <div>[[Category:Bibtex| ]]<br /> [[Category:BibtexNews| ]] &lt;!-- remove this line if this is not a new publication --&gt;<br /> == BibTex ==<br /> &lt;!-- Please add the BibTeX data below this comment. --&gt;<br /> &lt;bibtex&gt;<br /> author = {Voets, Dean and Schreye, Danny},<br /> title = {A New Approach to Non-termination Analysis of Logic Programs},<br /> booktitle = {ICLP '09: Proceedings of the 25th International Conference on Logic Programming},<br /> year = {2009},<br /> isbn = {978-3-642-02845-8},<br /> pages = {220--234},<br /> location = {Pasadena, CA},<br /> doi = {http://dx.doi.org/10.1007/978-3-642-02846-5_21},<br /> publisher = {Springer-Verlag},<br /> address = {Berlin, Heidelberg},<br /> &lt;/bibtex&gt;&lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&gt;</div>

Dean Voets