Ada

A high-integrity, safety-critical systems programming language.