Processing Linked Data with Catmandu
Separation logic for OO Stephan van Staden. Introduction OO languages are popular and widely used We need to reason about OO programs Some (problematic)
The essence of java script review pres
Objects and Classes
Separation logic for OO