An Outline of Separation Logic

Abhishek Kr Singh, Raja Natrajan

Separation Logic is an effective Program Logic for proving programs that involve pointers. Reasoning with pointers becomes difficult especially when there is aliasing arising due t…