University of Cambridge > Talks.cam > Program verification reading group. > Compositional Shape Analysis by means of Bi-Abduction

  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

Compositional Shape Analysis by means of Bi-Abduction

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

If you have a question about this talk, please contact Mike Dodds.

http://www.doc.ic.ac.uk/~ccris/ftp/popl09.pdf

This talk is part of the Program verification reading group. series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Global Food Futures Physics - Educational Outreach

Other talks

Cambridge - Corporate Finance Theory Symposium September 2017 - Day 1 THE MATHEMATICAL MAGIC OF MIXED REALITY A cabinet of natural history: the long-lost Paston collection Symbolic AI in Computational Biology; applications to disease gene and drug target identification Cycloadditions via TMM-Pd Intermediates: New Strategies for Asymmetric Induction and Total Synthesis The Knotty Maths of Medicine The Rise of Augmented Intelligence in Edge Networks 'Ways of Reading, Looking, and Imagining: Contemporary Fiction and Its Optics' 'Cambridge University, Past and Present' Validation & testing of novel therapeutic targets to treat osteosarcoma Immigration and Freedom Gaze and Locomotion in Natural Terrains
 

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