5 citations · 8 across the 11 of their papers we have counts for
1 paper · 1 filter
Zhe Hou, Alwen Tiu
Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily available in most applications of pr…