Research papers regarding disinterval analysis I'm trying to implement a disinterval analysis similiar to what is described in Clousot: Static Contract Checking with Abstract Interpretation (under section 5.2) - and I'm trying to find some papers describing the abstract operators (+, -, join, meet - etc) - however I have been unable to dig these up.

Are any of you aware of such papers and could you please link me to them?
You could give a shot at Ermedahl &amp; Sjodin: Interval analysis of C-variables using Abstract Interpretation.