Abstract interpretation with unfoldings
We present and evaluate a technique for computing path-sensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and interference between sequences of transformer...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer, Cham
2017
|