РуЛиб - онлайн библиотека > Все жанры > Компьютеры: Языки и системы программирования > Ada

Ada.

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

В библиотеке РуЛиб есть 16 книг жанра «Ada». Большинство из них можно прочитать онлайн на сайте. Также есть возможность скачать эти книги в доступных форматах, таких как: fb2, html, txt и rtf.

0.0
(0)
Введение в новый язык программирования Ада, ориентированный на современную технологию программирования, Он содержит выразительные средства, ранее не встречавшиеся в языках такого класса, —...
0.0
(0)
Сборник статей специалистов из разных стран посвящен вопросам сравнения, оценки, критики языков программирования Ада, Си, Паскаль и методологии их проведения. В сборник включено 15 статей,...
0.0
(0)
В книге американского автора дается систематическое описание мощного алгоритмического языка Ада, предназначенного для создания крупных программных систем. Большим достоинством языка является...
0.0
(0)
В книге ученого из США излагаются методы и приемы прикладного программирования на языке Ада, которые могут быть использованы при создании системы управления параллельными процессами. Значительное...
0.0
(0)
Кинга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными...
0.0
(0)
Вадим Станкевич опубликовал цикл статей в газете Software за 2006 год.
0.0
(0)
О построении интерфейсов пользователя с использованием языка Ада.
0.0
(0)
Механизм сигналов‐слотов и его реализация на языке Ада.
0.0
(0)
2006 г. Рыбин Сергей Игоревич любезно согласился ответить на наши вопросы. Получилось очень интересное интервью. Специально для сайта Ada Ru!
0.0
(0)
Евгений Турышев подробно разбирает работу с GNAT для встраиваемых ARM процессоров на примере конкретной платы.
0.0
(0)
Представлена история развития и текущее состояние языка Ада в России. Некоторые положения выделены особо. Московский Государственный Университет предлагается, как базовая организация для...