Inferring argument size relationships with CLP( $$\mathcal{R}$$ )
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 204-223
- https://doi.org/10.1007/3-540-62718-9_12
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Typed norms for typed logic programsPublished by Springer Nature ,1997
- Abstracting numerical values in CLP(H,N)Published by Springer Nature ,1994
- Verification of linear hybrid systems by means of convex approximationsPublished by Springer Nature ,1994
- Cost analysis of logic programsACM Transactions on Programming Languages and Systems, 1993
- Derivation of linear size relations by abstract interpretationPublished by Springer Nature ,1992
- Deriving constraints among argument sizes in logic programsAnnals of Mathematics and Artificial Intelligence, 1991
- An introduction to Prolog IIICommunications of the ACM, 1990
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- 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