University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory) > Ribbon proofs for separation logic

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Ribbon proofs for separation logic

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

If you have a question about this talk, please contact Peter Sewell.

This talk presents a diagrammatic proof system for program verification using separation logic. Joint work with Matthew Parkinson and Mike Dodds.

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.

Other lists

These Young Minds Meditation Laboratory Nigeria: Culture, People and Future

Other talks

The Rise of Augmented Intelligence in Edge Networks My ceramic practice, and Moon Jars for the 21st century What we don’t know about the Universe from the very small to the very big : ONE DAY MEETING Is Demand Side Response a Woman’s Work? Gender Dynamics Transcription by influenza virus RNA polymerase: molecular mechanisms, cellular aspects and inhibition Roland the Hero Asclepiadaceae The Digital Doctor: Hope, Hype, and Harm at the Dawn of Medicine’s Computer Age A rose by any other name Networks, resilience and complexity Existence of Lefschetz fibrations on Stein/Weinstein domains Part IIB Poster Presentations
 

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