Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof. Termination analysis of logic programs through combination of type-based norms. ACM Transactions on Programming Languages and Systems, 29(2):10, 2007. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Inference of Well-Typings for Logic Programs with Application to Termination AnalysisMaurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck. SAS 2005: 35-51 [doi] Reuse of Results in Termination Analysis of Typed Logic ProgramsMaurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof. SAS 2002: 477-492 [doi] A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm ConstraintsMichael Codish, Cohavit Taboch. icalp 1997: 31-45 A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm ConstraintsMichael Codish, Cohavit Taboch. agp 1997: 545-556
The following publications are possibly variants of this publication: