![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
University of Cambridge > Talks.cam > Program verification reading group. > 'Mechanized semantics for the Clight subset of the C language', Blazy & Leroy
'Mechanized semantics for the Clight subset of the C language', Blazy & LeroyDownload to your calendar using vCal
If you have a question about this talk, please contact Mike Dodds . http://pauillac.inria.fr/~xleroy/publi/Clight.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 listsEDC Loft Sir David Khalili's 'The Art of Peace' Lecture Crown Hotel Melbourne, MelbourneOther talksA Few Days in Patagonia - the Deep South The physics of decision: how competitive systems compute, route, and remember Tissue-scale communication in cancer development Title to be confirmed Title to be confirmed Task performance predicts the substitution of feedforward by feedback drive in visual cortex |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Wednesday 24 June 2009, 11:00-12:30
