79 citations · 353 across the 23 of their papers we have counts for
1 paper · 2 filters
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…