University of Cambridge > Talks.cam > Program verification reading group. > 'Mechanized semantics for the Clight subset of the C language', Blazy & Leroy

  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

'Mechanized semantics for the Clight subset of the C language', Blazy & Leroy

Add to your list(s) Download 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

COP15 explained what Copenhagen means for you Project Access The Leverhulme Centre for Human Evolutionary Studies Seminars

Other talks

Mathematical applications of little string theory Uncertainty Quantification with Multi-Level and Multi-Index methods Strong Bonds, Affective Labour: Sexually Transmitted Infections and the Work of History Investigation into appropriate statistical models for the analysis and visualisation of data captured in clinical trials using wearable sensors Information Theory, Codes, and Compression How language variation contributes to reading difficulties and “achievement gaps” Café Synthetique: Graduate Talks! Symplectic topology of K3 surfaces via mirror symmetry mTORC1 signaling coordinates different POMC neurons subpopulations to regulate feeding The Global Warming Sceptic Determining structures in situ using cryo-electron tomography:enveloped viruses and coated vesicles
 

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