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
Type de document :
Direction d'ouvrage, Proceedings
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>
Liste complète des métadonnées

https://hal.inria.fr/hal-01101937
Contributeur : Xavier Leroy <>
Soumis le : samedi 10 janvier 2015 - 17:12:56
Dernière modification le : lundi 5 octobre 2015 - 17:00:24

Identifiants

  • 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>

Partager

Métriques

Consultations de la notice

95