| Home > Publications > Reports > Informatics (CW) |
CW 383
Maurice Bruynooghe, Michael Codish, Samir Genaim, and Wim Vanhoof
A Note on the reuse of the results of a termination analysis based on polymorphic types
Abstract
This short report complements a paper published in the proceedings of SAS 2002. It gives an improved version of the main theorem and a detailed sketch of a proof.
The original paper was about the use of polymorphic type-based norms in termination analysis of logic programs.
report.pdf (159K) / mailto: M. Bruynooghe