Ada är ett statiskt typat, imperativt och objektorienterat programmeringsspråk med en Pascal-lik syntax som stödjer både procedurorienterad och objektorienterad programmering. Det distingveras av sin utmärkta support för: affärs logik, lågnivå hårdvaruåtkomst, högnivå abstraktion, distribuerade system och realtidssystem. Ada programmeringsspråk kommer med en biblioteksrutin och paket för support av flertalet olika tillämpningar i olika branscher.
Ada-språket har utformats både för att vara enkelt att läsa och förstå, och att ge starka garantier om korrekthet, typsäkerhet och perfekt hårdvaruintegration. Dess kontrollflödesmekanismer inkluderar exception-handling och en package-rutin för att stödja data-blockering och synkronisering,m vilket gör det särskilt lämpligt för system som kräver hög nivå av pålitlighet.
Trots att Ada kanske inte är det mest populära programmeringsspråket idag, används det fortfarande i mycket kritiska system, till exempel luftfart, hälsovård och rymdindustrin. Det växande intresset för pålitlig och korrekt mjukvara innebär att programmeringsspråk som Ada fått en förnyad betydelse med potential att växa ännu mer framöver.
