Skip to content
◈ALB Atlas

Ada Alive

Ada
KindProgramming language
Appeared1980
StatusAlive
CreatorJean Ichbiah team / CII-Honeywell Bull for US DoD
FamilyAda
Sourcewww.adaic.org ↗

The DoD's engineering language — contracts, tasks, and strong typing decades before they were fashionable; still the backbone of flight software.

Influenced by Pascal
Created by Jean Ichbiah
Dialects SPARK
Influenced AdaLog Eiffel AdaLogic BASIC

Jean Ichbiah's team at CII-Honeywell Bull won the 1979 DoD competition; Ada (1980/83) — named for Lovelace — was the mandated defense language: strong typing, packages, generics, tasks, exceptions, designed for verified safety.\n\nAda/SPARK remains the standard for provable software — air-traffic control, Ariane, rail — and Ada 2022 still ships.

→ Read the full article on the ALB Wiki

Timeline

1983Ada 83 standardized
1995Ada 95 — first ISO standardized OO language
2022Ada 2022

Sources

  1. adaic.org/
  2. en.wikipedia.org/wiki/Ada_(programming_language)