Another approach is to have the safer language compile down to C. This is the approach taken by various Schemes, like Chicken Scheme.

The Stalin Scheme compiler, "often generates code that outperforms handwritten C and Fortran code".[1]

[1] - ftp://ftp.ecn.purdue.edu/qobi/research-statement.pdf