Widening and Narrowing Operators for Abstract Interpretation