The best language... to do what? ;-)
Admittedly, this comes with a significant cost of development time.
C does not guarantee either in sufficiently complex programs. Here is a classic counterexample:
http://web.archive.org/web/20080624164217/http://weitz.de/cl...