18 citations · 22 across the 3 of their papers we have counts for
3 papers
cs.PL2009★ 4 cited
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…
cs.PL2001★ 18 cited
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…
cs.PL2001
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…