37 citations · 133 across the 25 of their papers we have counts for
1 paper · 1 filter
Joseph Tassarotti, Robert Harper
We present Polaris, a concurrent separation logic with support for probabilistic reasoning. As part of our logic, we extend the idea of coupling, which underlies recent work on pro…