113 citations · 491 across the 32 of their papers we have counts for
1 paper · 1 filter
Jacob Thamsborg, Lars Birkedal, Hongseok Yang
Recently, data abstraction has been studied in the context of separation logic, with noticeable practical successes: the developed logics have enabled clean proofs of tricky challe…