43 citations · 54 across the 10 of their papers we have counts for
1 paper · 2 filters
Hannah Arndt, Christina Jansen, Christoph Matheja +1
We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is…