Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

• Tác giả: Chris Hawblitzel, Dale Miller
• ISBN-13: 978-3642353086
• Ký hiệu phân loại: 004.0151 Data processing || Computer science
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Mô tả vật lý: X, 305 p. 64 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 324533
• Chủ đề: 1. Compilers (Computer programs); 2. Computer science; 3. Computer science—Mathematics; 4. Machine theory; 5. Software engineering

Tóm tắt

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.