On the Complexity of Pointer Arithmetic in Separation Logic.

James Brotherston, Max I. Kanovich

Browse the full APLAS paper archive.