Reasoning about monotonicity in separation logic.

Amin Timany, Lars Birkedal

Browse the full CPP paper archive.