Ada ist eine strukturierte Programmiersprache mit statischer Typenbindung. Sie wurde von Jean Ichbiah von der Firma Honeywell Bull in den 1970er Jahren entworfen. Die gängigen Versionen sind Ada 83 und Ada 95, das um neue Sprachmittel erweitert wurde. Eine neue Version wurde unter dem Namen Ada 2005 entwickelt. Ada hat sich vor allem in sicherheitskritischen Bereichen durchgesetzt, zum Beispiel in der Flugsicherung, in Sicherheits-Einrichtungen der Eisenbahn, in Waffensystemen, der Raumfahrt, der Medizin, oder der Steuerung von Kernkraftwerken.