Tools:PTNT
From Termination-Portal.org
Revision as of 15:31, 5 July 2010 by 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…')
{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})]]
