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…') |
(No difference)
|
Revision as of 15:31, 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
[[Category:{Leuven}|{pTNT} ({{proving Typed Non-Termination})]] [[Category:{belgium}|{pTNT} ({{proving Typed Non-Termination})]]
