Ada

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages