[11-5]A Pictorial Introduction to Separation Logic

Date:2008-10-29

Title：A Pictorial Introduction to Separation Logic

Speaker：Prof. C.A.R. Hoare

Time：10：00am, November 5

Venue：Lecture room, Lab for Computer Science, Level 3 Building #5

Abstract：

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.