Segment logic (work in progress)

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

• Viktor Vafeiadis (Microsoft Research Cambridge)
• Monday 23 March 2009, 12:45-14:00
• Room FW26, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Sam Staton.

I shall present segment logic, a logic for reasoning about programs that manipulate shared data structures. Segment logic extends separation logic by logically partitioning the heap into a finite number of shared heap segments. Its ass ertions contain a special modality for describing segments and a nominal quantifier over segmen t names. Segment logic often enables more concise descriptions of pointer aliasing patterns tha n separation logic, has a better frame rule, and yet has a simple soundness statement.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Computer Laboratory talks
• Room FW26, Computer Laboratory, William Gates Building
• School of Technology
• Semantics Lunch (Computer Laboratory)
• de239's list

Note that ex-directory lists are not shown.