![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Monday 17 October 2011, 12:45-14:00
Ribbon proofs for separation logic
- 👤 Speaker: John Wickerson
- 📅 Date & Time: Monday 17 October 2011, 12:45 - 14:00
- 📍 Venue: FW26
Questions? Contact
Peter Sewell
Abstract
This talk presents a diagrammatic proof system for program verification using separation logic. Joint work with Matthew Parkinson and Mike Dodds.
Series This talk is part of the Semantics Lunch (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Department of Computer Science and Technology talks and seminars
- FW26
- Interested Talks
- Martin's interesting talks
- School of Technology
- Semantics Lunch (Computer Laboratory)
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.