Tools:PTNT: Difference between revisions
Dean Voets (talk | contribs) Created page with '<!-- 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…' |
Dean Voets (talk | contribs) No edit summary |
||
| Line 11: | Line 11: | ||
{{Tool | {{Tool | ||
|shortname= | |shortname=pTNT | ||
|longname= | |longname=proving Typed Non-Termination | ||
|homepage= | |homepage=http://www.cs.kuleuven.be/~dean/pTNT.html | ||
|country= | |country=belgium | ||
|university= | |university=Leuven | ||
|developers= | |developers=Dean Voets and Danny De Schreye | ||
|publication=[[Bibtex:VDS10|Non-termination Analysis of Logic Programs using Types]] | |publication=[[Bibtex:VDS10|Non-termination Analysis of Logic Programs using Types]] | ||
}} | }} | ||
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | <!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | ||
Latest revision as of 15:33, 5 July 2010
pTNT (proving Typed Non-Termination)
- developed at Leuven, belgium
- home page: http://www.cs.kuleuven.be/~dean/pTNT.html
- developers: Dean Voets and Danny De Schreye
- publication: Non-termination Analysis of Logic Programs using Types