University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory) > Segment logic (work in progress)

Segment logic (work in progress)

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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