Ada

Ada, yüksek seviyeli, statik tipli ve yapılandırılmış bir programlama dilidir. Güvenlik, güvenilirlik ve verimlilik odaklıdır; savunma, havacılık ve kritik sistemler gibi alanlarda yaygın kullanılır.124

Nesne yönelimli ve eşzamanlı programlama desteği sunar. Güçlü tip sistemi, derleme zamanında hata yakalama ve modüler yapısıyla büyük ölçekli yazılımların geliştirilmesini kolaylaştırır.134

1980'lerde ABD Savunma Bakanlığı tarafından standartlaştırılmış, adını ilk bilgisayar programcısı Ada Lovelace'den almıştır. Günümüzde de kritik sistemlerde tercih edilen olgun bir dildir.245