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

Abstract

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 (TRSs) to obtain new (non-transformational) termination… (More)
DOI: 10.1017/S1471068410000025

Topics

2 Figures and Tables

Slides referencing similar topics