Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Chris Hawblitzel, Dale Miller ((Lecture Notes in Computer Science))