Documents Separation logic for OO Stephan van Staden. Introduction OO languages are popular and widely used We...

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…

Documents Separation logic for OO

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)…