2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Peter Müller, Malte Schwerhoff, Alexander J. Summers
In permission logics such as separation logic, the iterated separating conjunction is a quantifier denoting access permission to an unbounded set of heap locations. In contrast to…