University of Cambridge > Talks.cam > Program verification reading group. > 'Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL', Prensa Nieto and Esparza

  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

'Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL', Prensa Nieto and Esparza

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

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

http://www7.informatik.tu-muenchen.de/um/bibdb/info/esparza.PE00.shtml

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

BP Lectures 2011 IfM Seminars anthropology

Other talks

Migration in Science The importance of seed testing Zoo and Wildlife Work The Exposome in Epidemiological Practice Smuts, bunts and ergots Poland, Europe, Freedom: A Personal Reflection on the Last 40 Years Microtubule Modulation of Myocyte Mechanics How to Deploy Psychometrics Successfully in an Organisation Graded linearisations for linear algebraic group actions A new proposal for the mechanism of protein translocation Thermodynamics de-mystified? /Thermodynamics without Ansätze?
 

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