33 citations · 42 across the 9 of their papers we have counts for
1 paper · 1 filter
Matthew J. Parkinson, Alexander J. Summers
Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has rece…