3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Yawen Guan, Clément Pit-Claudel
Most separation logics hide container-internal pointers for modularity. This makes it difficult to specify container APIs that temporarily expose those pointers to the outside, and…