A Typed C11 Semantics for Interactive Theorem Proving

Fulltext present in this item

Fulltext: 139713.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	A Typed C11 Semantics for Interactive Theorem Proving
Author(s):	Krebbers, R. ; Wiedijk, F.
Publication year:	2015
In:	Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs, pp. 15-27
Publisher:	New York : ACM
ISBN:	9781450332965
DOI:	https://doi.org/10.1145/2676724.2693571
Annotation:	CPP'15 : 2015 Conference on Certified Programs and Proofs as part of POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Tata Institute of Fundamental Research, Mumbai
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/139713
Display more details
Editor(s):	Leroy, X.
Subject:	Data Science
Organization:	Data Science Foundations Software Science
Book title:	Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs
Page start:	p. 15
Page end:	p. 27

Faculty of Science [28903]
Electronic publications [87075]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [187595]
Academic output Radboud University