43 citations · 96 across the 13 of their papers we have counts for
1 paper · 1 filter
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…