<p>You could give a shot at Ermedahl &amp; Sjodin: <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3333" rel="nofollow">Interval analysis of C-variables using Abstract Interpretation</a>.</p>

CC BY-SA 3.0
2012-06-30T17:07:42.357Z
I am trying to find the information on disintervals - as described in the referenced paper: "Elements of Disintervals are normalized sequences of non-overlapping intervals...". Ie a powerset of intervals with some constraints in order to make them nice to play with.
kastermester
CC BY-SA 3.0
2012-07-01T13:19:34.290Z
I'm sorry, I was just referring to an article that describes the technique for simple intervals. However the paper you refer to explicitly says that the case for multiple intervals is quite similar to the case with a single interval. Have you tried working out the rules yourself?
cody
CC BY-SA 3.0
2012-06-26T15:35:21.400Z
2012-06-26T15:35:21.400Z
cody
<p>I'm trying to implement a disinterval analysis similiar to what is described in <a href="http://research.microsoft.com/pubs/138696/Main.pdf" rel="nofollow">Clousot: Static Contract Checking with Abstract Interpretation</a> (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.</p>

<p>Are any of you aware of such papers and could you please link me to them?</p>

<reference-request><pl.programming-languages><na.numerical-analysis>
Research papers regarding disinterval analysis
kastermester
# Research papers regarding disinterval analysis

(Asked by: username_0 on 2012-06-25)

I'm trying to implement a disinterval analysis similiar to what is described in [Clousot: Static Contract Checking with Abstract Interpretation](http://research.microsoft.com/pubs/138696/Main.pdf) (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?

**Tags:** reference-request, pl.programming-languages, na.numerical-analysis


---

## 1 answers

### Answer by username_1 on 2012-06-26. Score: 1

You could give a shot at Ermedahl & Sjodin: [Interval analysis of C-variables using Abstract Interpretation](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3333).

> **Comments:**
> **username_0**: I am trying to find the information on disintervals - as described in the referenced paper: "Elements of Disintervals are normalized sequences of non-overlapping intervals...". Ie a powerset of intervals with some constraints in order to make them nice to play with.  
> **username_1**: I'm sorry, I was just referring to an article that describes the technique for simple intervals. However the paper you refer to explicitly says that the case for multiple intervals is quite similar to the case with a single interval. Have you tried working out the rules yourself?  

---

