BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Pointer Safety and Graph Grammars - Mike Dodds (York)
DTSTART:20071106T143000Z
DTEND:20071106T153000Z
UID:TALK9113@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:Graph reduction systems (GRSs)\, based on context-sensitive gr
 aph\ngrammars\, are used by the project Safe Pointers by Graph Transformat
 ion\n(SPGT) in their approach to verifying the properties of pointer\nstru
 ctures.  In this talk I will discuss three recent developments\nrelated to
  GRSs and the SPGT approach. I will first describe the\napplication of SPG
 T to a C-like language.  I will also discuss\nrestrictions on graph rewrit
 e rules which allow linear-time recognition\nof GRS languages. Thirdly\, I
  will discuss the relationship of graph\ngrammars to separation logic\, a 
 logic which forms the basis of much\nrecent work on pointer safety. 
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR