Inferring Disjunctive Postconditions

@inproceedings{Popeea2006InferringDP,
  title={Inferring Disjunctive Postconditions},
  author={Corneliu Popeea and Wei-Ngan Chin},
  booktitle={ASIAN},
  year={2006}
}
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical variables of a program. Convexity of this abstract domain allows efficient analysis but also loses precision via convex-hull and widening operators. To selectively recover the loss of precision, sets of polyhedra (disjunctive elements) may be used to capture more precise invariants. However a balance must be struck between precision and cost. We introduce the… CONTINUE READING

4 Figures & Tables

Topics

Statistics

0102020082009201020112012201320142015201620172018
Citations per Year

73 Citations

Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.