6 citations · 10 across the 13 of their papers we have counts for
1 paper · 1 filter
Revantha Ramanayake
The logic of bunched implication BI provides a framework for reasoning about resource composition and forms the basis for an assertion language of separation logic which is used to…