CPP '15: Proceedings of the 2015 Conference on Certified Programs and Proofs

Xavier Leroy 1 Alwen Tiu 2
2 School of Computer Engineering
NTU - School of Computer Engineering [Singapore]
Abstract : he CPP series of meetings aims to cover those topics in computer science and mathematics in which certification via formal techniques is crucial. Topics of interest range from interactive and automated theorem proving to program proof to the mechanization of mathematics, with the production of independently-checkable certificates as a recurring theme
Document type :
Directions of work or proceedings
Liste complète des métadonnées

https://hal.inria.fr/hal-01101937
Contributor : Xavier Leroy <>
Submitted on : Saturday, January 10, 2015 - 5:12:56 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM

Identifiers

  • HAL Id : hal-01101937, version 1

Collections

Citation

Xavier Leroy, Alwen Tiu. CPP '15: Proceedings of the 2015 Conference on Certified Programs and Proofs. Conference on Certified Programs and Proofs, Jan 2015, Mumbai, India. ACM, pp.184, 2015, 978-1-4503-3296-5. ⟨http://dl.acm.org/citation.cfm?id=2676724⟩. ⟨hal-01101937⟩

Share

Metrics

Record views

123