Look at Ada (Ada 2012 came out this year). Safer and more secure, not less verbose though. You can do real-time, parallel, distributed, reliable stuff with it. Try the OSS GNAT compiler (comes with your gcc or look at http://libre.adacore.com/ ).