Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Saved in:
Bibliographic Details
Meeting name:CPP (Conference) (3rd : 2013 : Melbourne, Vic.)
Imprint:Cham : Springer, 2013.
Description:1 online resource (xii, 309 pages) : illustrations.
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 8307
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 8307.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:Computer science -- Mathematics -- Congresses.
Formal methods (Computer science) -- Congresses.
Computer software -- Verification -- Congresses.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics)
Computer science -- Mathematics.
Computer software -- Verification.
Formal methods (Computer science)
Computer Methodologies.
Computer Systems -- methods.
Software Validation.
Electronic books.
Conference papers and proceedings.
Ebook.
Congresses.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11083926
Hidden Bibliographic Details
Varying Form of Title:CPP 2013
Other authors / contributors:Gonthier, Georges, editor.
Norrish, Michael, editor.
ISBN:9783319035451
3319035452
3319035444
9783319035444
9783319035444
Notes:International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed December 16, 2013).
Summary: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.
Other form:Printed edition: 9783319035444
Standard no.:10.1007/978-3-319-03545-1