Inferring termination conditions for logic programs using backwards analysis

DOI10.1017/S1471068404002236zbMath1093.68018OpenAlexW2148363954MaRDI QIDQ4673540

Samir Genaim, Michael Codish

Publication date: 29 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068404002236

zbMATH Keywords

program analysisabstract interpretationbackwards analysistermination analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Termination prediction for general logic programs

This page was built for publication: Inferring termination conditions for logic programs using backwards analysis