Title:A Pictorial Introduction to Separation Logic
Speaker: Prof. C.A.R. Hoare
Venue:Lecture Room,State Key Lab of Computer Science, Level 3 Building #5, Institute of Software, CAS
Separation logic is a newly discovered logic for reasoning about computer programs.
It unifies the study of pointers, concurrency,
communication and even weak memory consistency. The logic can be simply explained by pictures of the flow of data between events in a trace of program execution. No prior knowledge of graphs or separation logic is needed.