Programs in context

Add to your list(s) Download to your calendar using vCal

• Dominic Orchard (University of Cambridge)
• Monday 05 November 2012, 14:00-15:00
• SS03, William Gates Building.

If you have a question about this talk, please contact Andrew Rice.

Computer programs are not executed in a vacuum, they are run in diverse environments where the execution context may change a program’s capabilities, behaviour, and results. Notions of context in programming are wide ranging, from user- and application-level notions such as a device’s GPS location or local resources, to low-level programming notions such as binding scopes or data-structure traversals. This talk presents a general program analysis for contextual properties of programs. This analysis can be used to provide information on program requirements, aid program correctness, and guide optimisation. The approach can be specialised to various notions of context: examples involving array traversals and distributed resources will be shown. Research on a general semantics for context-dependence will also be informally described.

This talk is part of the Computer Laboratory Digital Technology Group (DTG) Meetings series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Digital Technology Group (DTG) Meetings
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• SS03, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.