Derivation of linear size relations by abstract interpretation

This publication has 9 references indexed in Scilit:

• Tutorial on termination of logic programs
  Published by Springer Nature ,1992
• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• Deriving constraints among argument sizes in logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1990
• Task granularity analysis in logic programs
  Published by Association for Computing Machinery (ACM) ,1990
• Termination Proofs for Logic Programs
  Published by Springer Nature ,1990
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Affine relationships among variables of a program
  Acta Informatica, 1976