Deriving linear size relations for logic programs by abstract interpretation
- 1 June 1995
- journal article
- research article
- Published by Springer Nature in New Generation Computing
- Vol. 13 (2), 117-154
- https://doi.org/10.1007/bf03038311
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Termination of logic programs: the never-ending storyThe Journal of Logic Programming, 1994
- Norms on terms and their use in proving universal termination of a logic programTheoretical Computer Science, 1994
- A general framework for semantics-based bottom-up abstract interpretation of logic programsACM Transactions on Programming Languages and Systems, 1993
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Deriving descriptions of possible values of program variables by means of abstract interpretationThe Journal of Logic Programming, 1992
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- Termination Proofs for Logic ProgramsLecture Notes in Computer Science, 1990
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Affine relationships among variables of a programActa Informatica, 1976