С первыми двумя вы наверняка знакомы — как минимум, название слышали. Оба обладают меньшим количеством готовых функций, чем, например, популярный Python, но позволяют лучше контролировать распределение приоритетов между программами, управлять памятью и другими важными параметрами. Понятное дело, военные не хотят, чтобы операции по сбору мусора имели приоритет над алгоритмом наведения ракеты на конечном этапе полета.
Какие компьютерные языки использует Пентагон или несекретный факт о секретном ПО

В отличие от них, Ada — это специальный язык, разработанный Министерством обороны США для бортовых систем управления военными объектами.
Проще и надежнее
Даже C и C++ используются в урезанной версии, чтобы снизить риск нестабильности, сбоев и появления уязвимостей. В военной технике, как правило, используются особые операционные системы, в которых эти функции отключают компиляторами.
Например, проектируя программное обеспечение для автопилота межпланетного космического корабля, разработчики будут избегать динамического выделения памяти, чтобы устранить потенциальные проблемы с ее переполнением.

Нельзя сказать, что сектор IT-отрасли, связанный с военной техникой, вовсе не использует инструменты программирования надязыкового уровня. Например, все активнее используют графические среды программирования, но тоже довольно специфичные, такие как Simulink или Rhapsody. Тем не менее, полученный в них программный код обязательно будет конвертирован в код C или C++ для окончательной «шлифовки».