Hawblitzel, Chris.Miller, Dal. (Eds.) (©2012) Certified programs and proofs :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings Berlin ; Springer,MLA Citation
Hawblitzel, Chris.Miller, Dale, eds. Certified Programs And Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings. Berlin : Springer, ©2012. Print.
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings /
Chris Hawblitzel, Dale Miller (eds.).
|Names:||Hawblitzel, Chris. | Miller, Dale|
|Vernacular:||Scalable Formal Machine Models -- Mechanized Semantics for Compiler Verification -- Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model Checking -- A Formally-Verified Alias Analysis -- Mechanized Verification of Computing Dominators for Formalizing Compilers -- On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications -- The New Quickcheck for Isabelle: Random, Exhaustive and Symbolic Testing under One Roof -- Proving Concurrent Noninterference -- Noninterference for Operating System Kernels -- Compositional Verification of a Baby Virtual Memory Manager -- Shall We Juggle, Coinductively-- Proof Pearl: Abella Formalization of λ-Calculus Cube Property -- A String of Pearls: Proofs of Fermat's Little Theorem -- Compact Proof Certificates for Linear Logic -- Constructive Completeness for Modal Logic with Transitive Closure -- Rating Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent and Strongly Discrete Rings in Type Theory -- Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives.
|Published:||Berlin ; Springer, ©2012.|
Lecture notes in computer science ; 7679.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|Topics:||Computer science - Mathematics - Congresses. | Formal methods (Computer science) - Congresses. | Computer software - Verification - Congresses. | Informatique.|
|Genres:||Electronic books. | Conference papers and proceedings.|