Widening Operators for Abstract Interpretation | IEEE Conference Publication | IEEE Xplore