Inferring Argument Size Relationships with CLP(R)

@inproceedings{Benoy1996InferringAS,
  title={Inferring Argument Size Relationships with CLP(R)},
  author={Florence Benoy and Andy King},
  booktitle={LOPSTR},
  year={1996}
}
Argument size relationships are useful in termination analysis which, in turn, is important in program synthesis and goal-replacement transformations. We show how a precise analysis for inter-argument size relationships, formulated in terms of abstract interpretation, can be implemented straightforwardly in a language with constraint support like CLP(R) or SICStus version 3. The analysis is based on polyhedral approximations and uses a simple relaxation technique to calculate least upper bounds… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
71 Extracted Citations
12 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 71 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 12 references

Personal Communication on Polyhedral library polyhedra

  • A. Kerbrat.
  • 1993

Derivation of Linear Size Relations by AbstractInterpretation

  • D. De Schreye
  • 1991

Abstracting numeric values inCLP ( H , N )

  • M. Bruynooghe, V. Englebert
  • 1990

Similar Papers

Loading similar papers…