CPP '15: Proceedings of the 2015 Conference on Certified Programs and Proofs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2015

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

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
No file

Dates and versions

hal-01101937 , version 1 (10-01-2015)

Identifiers

  • HAL Id : hal-01101937 , version 1

Cite

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. ⟨hal-01101937⟩

Collections

INRIA INRIA2
80 View
0 Download

Share

Gmail Facebook X LinkedIn More