BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Control Flow Analysis for the Join Calculus - Peter Calvert (Unive
 rsity of Cambridge)
DTSTART:20120622T141500Z
DTEND:20120622T151500Z
UID:TALK38295@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Since first being described\, the Join Calculus has been incor
 porated into a variety of languages as an alternative concurrency primitiv
 e. While there has been some work on efficient library implementation\nof 
 the calculus\, there has been little on statically analysing and transform
 ing it. This work explores adapting conventional analysis techniques to th
 e Join Calculus. In particular\, we present three variations of control fl
 ow analysis for a flattened version\, and consider two important optimisat
 ions: inlining and queue bounding.\n\nThis is a practice talk for SAS 2012
 . Joint work with Alan Mycroft. 
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR