acm-header
Sign In

Communications of the ACM

Latest Research

Latest Research Research Archive Refine your search:
subjectTheory
authorXavier Leroy
From Communications of the ACM

Technical Perspective: Safety First!

Software misbehaves all too often. This is a truism, but also the driving force behind many computing techniques intended to increase software reliability, safety... Xavier Leroy
From Communications of the ACM | December 2011
From Communications of the ACM

Formal Verification of a Realistic Compiler

This paper reports on the development and formal verification of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly... Xavier Leroy
From Communications of the ACM | July 2009
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account