Title:A Pictorial Introduction to Separation Logic

Speaker: Prof. C.A.R. Hoare

Time:10:00am, Wednesday£¬Nov.5

Venue:Lecture Room,State Key Lab of Computer Science, Level 3 Building #5, Institute of Software, CAS

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.