18 citations · 22 across the 3 of their papers we have counts for
3 papers · 1 filter
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl +1
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 term…
On termination of meta-programs
Alexander Serebrenik, Danny De Schreye
The term {\em meta-programming} refers to the ability of writing programs that have other programs as data and exploit their semantics. The aim of this paper is presenting a method…
Inference of termination conditions for numerical loops in Prolog
Alexander Serebrenik, Danny De Schreye
We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the intege…