Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Certified Programs and Proofs

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

Editors: Hawblitzel, Chris, Miller, Dale (Eds.)

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-35308-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-35307-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (22 chapters)

  • Scalable Formal Machine Models

    Morrisett, Greg

    Pages 1-3

  • Mechanized Semantics for Compiler Verification

    Leroy, Xavier

    Pages 4-6

  • Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs

    Barthe, Gilles (et al.)

    Pages 7-8

  • Program Certification by Higher-Order Model Checking

    Kobayashi, Naoki

    Pages 9-10

  • A Formally-Verified Alias Analysis

    Robert, Valentin (et al.)

    Pages 11-26

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-35308-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-35307-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Certified Programs and Proofs
Book Subtitle
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Editors
  • Chris Hawblitzel
  • Dale Miller
Series Title
Theoretical Computer Science and General Issues
Series Volume
7679
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-35308-6
DOI
10.1007/978-3-642-35308-6
Softcover ISBN
978-3-642-35307-9
Edition Number
1
Number of Pages
X, 305
Number of Illustrations and Tables
64 b/w illustrations
Topics