Report copyright - On the Complexity of Pointer Arithmetic in Separation Logic · Keywords: Separation logic, pointer arithmetic, complexity. 1 Introduction Separation logic (SL) [23] is a well-known
Please pass captcha verification before submit form