Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
<|reference_start|>Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract): We discuss the divergence problems recently identified in some extrapolation operators for weakly-relational numeric domains. We identify the cause of the divergences and point out that resorting to more concrete, syntactic domains can be avoided by researching suitable algorithms for the elimination of redundant constraints in the chosen representation.<|reference_end|>
@article{bagnara2004widening,
    title={Widening Operators for Weakly-Relational Numeric Abstractions (Extended
  Abstract)},
    author={Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella},
    journal={arXiv preprint arXiv:cs/0412043},
    year={2004},
    archivePrefix={arXiv},
    eprint={cs/0412043},
    primaryClass={cs.PL}
}