Slide 1 Separation logic for OO Stephan van Staden Slide 2 Introduction OO languages are popular and widely used We need to reason about OO programs Some (problematic) features…