ENGLISH

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

By Daniel R. Licata , Guillaume Brunerie (auth.) , Georges Gonthier , Michael Norrish (eds.)

Book information

Publisher
Springer International Publishing
Year
2013
ISBN
978-3-319-03544-4, 978-3-319-03545-1
DOI
10.1007/978-3-319-03545-1
Language
english
Format
PDF
Filesize
4 MB (3715272 bytes)
Series
Lecture Notes in Computer Science 8307 Theoretical Computer Science and General Issues
Edition
1
Pages
309\318
Time added
2014-01-18 08:00:00
CompilersgeneralInterpreters; Symbolic and Algebraic Manipulation;Logics and Meanings of Programs; Mathematical Logi

Description

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.

Similar books