Certificate Translation for Optimizing Compilers Gilles Barthe IMDEA Software and Benjamin Gr´egoire and C´esar Kunz and Tamara Rezk INRIA Sophia Antipolis - M´editerran´ee - Sop - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-07-03 03:46:28		Certificate Translation for Optimizing Compilers Gilles Barthe IMDEA Software and Benjamin Gr´egoire and C´esar Kunz and Tamara Rezk INRIA Sophia Antipolis - M´editerran´ee Add to Reading List Source URL: www-sop.inria.fr Download Document from Source Website File Size: 467,25 KB Share Document on Facebook