A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

This publication has 13 references indexed in Scilit:

• Inferring argument size relationships with CLP( $$\mathcal{R}$$ )
  Published by Springer Nature ,1997
• Generalized semantics and abstract interpretation for constraint logic programs
  The Journal of Logic Programming, 1995
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
  The Journal of Logic Programming, 1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Suspension analyses for concurrent logic programs
  ACM Transactions on Programming Languages and Systems, 1994
• Goal independency and call patterns in the analysis of logic programs
  Published by Association for Computing Machinery (ACM) ,1994
• Deriving constraints among argument sizes in logic programs
  Annals of Mathematics and Artificial Intelligence, 1991
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977