Die strukturierte Programmier-Sprache mit statischer Typenbildung

Ada – Ada das ähnlich wie die Programmier-Sprachen Pascal und Modula-2 zu den Wirth’schen Sprachen gehört, wurde 2005 unter dem Namen Ada2005 zu einer neuen Version weiterentwickelt.

Aufgrund enormer Anforderungen, die validierte Compiler erfüllen müssen, hat sie sich Ada in sicherheitskritischen Bereichen durchgesetzt, wie z.B. Flugsischerung, Waffensysteme, Medizin und Kernkraftwerken.