Closing the Gap – The Formally Verified Optimizing Compiler CompCert [pdf]hal.inria.fr66 pointspanic10 years ago