Certified programs and proofs : Second International Conference, CPP 2012, Kyoto, Japan, december 13-15, 2012. Proceedings (2012)