BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Programs in context - Dominic Orchard (University of Cambridge)
DTSTART:20121105T140000Z
DTEND:20121105T150000Z
UID:TALK41326@talks.cam.ac.uk
CONTACT:Andrew Rice
DESCRIPTION:Computer programs are not executed in a vacuum\, they are run 
 in\ndiverse environments where the execution context may change a\nprogram
 's capabilities\, behaviour\, and results. Notions of context in\nprogramm
 ing are wide ranging\, from user- and application-level notions\nsuch as a
  device's GPS location or local resources\, to low-level\nprogramming noti
 ons such as binding scopes or data-structure\ntraversals.  This talk prese
 nts a general program analysis for\ncontextual properties of programs. Thi
 s analysis can be used to\nprovide information on program requirements\, a
 id program\ncorrectness\, and guide optimisation.  The approach\ncan be sp
 ecialised to various notions of context: examples involving\narray travers
 als and distributed resources will be shown. Research on\na general semant
 ics for context-dependence will also be informally\ndescribed.\n
LOCATION:SS03\, William Gates Building
END:VEVENT
END:VCALENDAR