skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

Citations Cited by
  • Title:
    Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
  • Author: NGUYEN, MANH THANG ; DE SCHREYE, DANNY ; GIESL, JÜRGEN ; SCHNEIDER-KAMP, PETER
  • Subjects: Feasibility ; Logic programming ; Mapping ; Norms ; Programming ; Regular Papers
  • Is Part Of: Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63
  • Description: Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt termination analysis techniques based on polynomial interpretations—very well known in the context of term rewrite systems—to obtain new (nontransformational) termination analysis techniques for definite logic programs (LPs). This leads to an approach that can be seen as a direct generalization of the traditional techniques in termination analysis of LPs, where linear norms and level mappings are used. Our extension generalizes these to arbitrary polynomials. We extend a number of standard concepts and results on termination analysis to the context of polynomial interpretations. We also propose a constraint-based approach for automatically generating polynomial interpretations that satisfy the termination conditions. Based on this approach, we implemented a new tool, called Polytool, for automatic termination analysis of LPs.
  • Publisher: Cambridge, UK: Cambridge University Press
  • Language: English
  • Identifier: ISSN: 1471-0684
    EISSN: 1475-3081
    DOI: 10.1017/S1471068410000025
  • Source: ProQuest Central
Back to results list
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait