Questions tagged [ada]

Ada is a programming language, based on Pascal, which adds features to ensure highly secure but free code at compile time and to catch problems at run time by using "design by contract". It i generally used on military projects aviation and other "mission critical" or "life critical" projects