12 citations · 34 across the 17 of their papers we have counts for
1 paper · 1 filter
Diego Calvanese, Tomer Kotek, Mantas Šimkus +2
The verification community has studied dynamic data structures primarily in a bottom-up way by analyzing pointers and the shapes induced by them. Recent work in fields such as sepa…