BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lecture 2: Algebraic Theory of Program Transformation - Tony Hoare
 \, FRS FREng
DTSTART:20180213T140000Z
DTEND:20180213T150000Z
UID:TALK99916@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Tony Hoare\, FRS FR Eng\, Hon Mem Cambridge University Computi
 ng Laboratory.\n\nPrograms are transformed by algebraically expressed laws
  into other programs for many purposes: in compilation of a high level lan
 guage to a lower level language\, in optimisation of programs\, on in adap
 ting their structure to available configuration of hardware\, or refactori
 ng to to facilitate subsequent program evolution. \n\nWe develop a simple 
 set of algebraic laws whose use on concurrent programs guarantees the corr
 ectness of any transformation which uses only them.  The correctness of th
 e laws themselves is proven by the geometrical theory of programming descr
 ibed in an earlier lecture.\n\n*Attendance at the previous lecture is not 
 a prerequisite.*
LOCATION:FW26
END:VEVENT
END:VCALENDAR