Жанр: Ada (22 книг)

Ada - это структурированный, статически типизированный, императивный и объектно-ориентированный язык программирования высокого уровня, расширенный от Паскаль и другие языки. Он имеет встроенную языковую поддержку для проектирования по контракту (DbC), чрезвычайно строгой типизации, явного параллелизма, задач, синхронной передачи сообщений, защищенных объектов и недетерминизма. Ada улучшает безопасность кода и удобство сопровождения за счет использования компилятора для поиска ошибок в пользу ошибок времени выполнения. Ada - это международный технический стандарт, совместно определенный Международной организацией по стандартизации (ISO) и Международной электротехнической комиссией (IEC ). По состоянию на 2020 год стандартом, неофициально называемым Ada 2012, является ISO/IEC 8652: 2012.
Изначально Ada была разработана группой под руководством французского компьютерного ученого Жана Ичбиа из CII Honeywell Bull по контракту с Министерством обороны США (DoD) с 1977 по 1983 год для замены более 450 языков программирования, используемых Министерством обороны в то время. Ада была названа в честь Ады Лавлейс (1815–1852), которую считают первым программистом.