University of Cambridge > Talks.cam > Computer Laboratory Digital Technology Group (DTG) Meetings > Programs in context

Programs in context

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity