Difference between revisions of "Tools:PTNT"
From Termination-Portal.org
Jump to navigationJump to searchDean 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) |
||
| 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
