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