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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Compositional Shape Analysis by means of Bi-Abduction

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Ramsden Room, St Catherine's College Seminar Room, Strangeways Research Laboratory, Worts Causeway, Cambridge Room LG17, Faculty of Law

Other talks

Title to be confirmed Caribbean Trip and Cacti "Green" RSEs? A new role (and a new community) to reduce the environmental impact of research Packing the Border: Quail Crates and the Regulation of Animal Movement on the US-Mexico Border, 1910s-1940s The search for a new population of strong gravitational lenses with JWST "That's History. That's Truth. I Seen It Myself": T'tc~tsa (Wailaki) and the Enslavement of California Native Americans.
 

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