New methods (Score 1)

C is definitely not going to be the language of the future. There are a lot of tools for "checking" or "purifying" C code, but real promise is in radical new approaches based on reusable objects. As far as a systems programming language goes, the Cyclone project at Bell Labs http://www.research.att.com/projects/cyclone/ is one way to get away from C.