An abstract interpretation approach to termination of logic programs
From MaRDI portal
Recommendations
- A semantic basis for the termination analysis of logic programs
- scientific article; zbMATH DE number 4178750
- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints
- Program Development in Computational Logic
- A general framework for automatic termination analysis od logic programs
Cited in
(14)- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
- An abstract interpretation framework for termination
- scientific article; zbMATH DE number 3978439 (Why is no real title available?)
- Strong termination of logic programs
- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints
- A semantic basis for the termination analysis of logic programs
- A proof-theoretic study of abstract termination principles
- A dynamic approach to characterizing termination of general logic programs
- Logic Programming
- Reasoning in Dynamic Logic about Program Termination
- Input-Termination of Logic Programs
- Logic Programming
- -Universal termination of logic programs
- Termination of logic programs: Transformational methods revisited
This page was built for publication: An abstract interpretation approach to termination of logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767031)
