Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

  • Chris Hawblitzel
  • Dale Miller
Conference proceedings CPP 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7679)

Table of contents

  1. Front Matter
  2. Greg Morrisett
    Pages 1-3
  3. Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
    Pages 7-8
  4. Valentin Robert, Xavier Leroy
    Pages 11-26
  5. Dominic P. Mulligan, Claudio Sacerdoti Coen
    Pages 43-59
  6. Brian Campbell
    Pages 60-75
  7. Pierre-Nicolas Tollitte, David Delahaye, Catherine Dubois
    Pages 76-91
  8. Lukas Bulwahn
    Pages 92-108
  9. Andrei Popescu, Johannes Hölzl, Tobias Nipkow
    Pages 109-125
  10. Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein
    Pages 126-142
  11. Alexander Vaynberg, Zhong Shao
    Pages 143-159
  12. Keisuke Nakano
    Pages 160-172
  13. Hing-Lun Chan, Michael Norrish
    Pages 188-207
  14. Kaustuv Chaudhuri
    Pages 208-223
  15. Christian Doczkal, Gert Smolka
    Pages 224-239
  16. Andrea Asperti, Wilmer Ricciotti
    Pages 240-255

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.
The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Keywords

completeness formal verification mechanized proofs real-time systems verified software

Editors and affiliations

  • Chris Hawblitzel
    • 1
  • Dale Miller
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.INRIA Saclay and LIX, Ecole PolytechniquePalaiseaux CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-35308-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35307-9
  • Online ISBN 978-3-642-35308-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349