Статьи с тегом «Ada»
Статьи с тегом «Ada» (5 шт.), от новых к старым.
-
Дженерики в Ada ── контракты через типы и повторное использование без накладных расходов
Систематическое руководство по обобщённому программированию в Ada: обобщённые подпрограммы и пакеты, формальные параметры-подпрограммы, категории типов и пра...
-
Программирование систем реального времени на Ada — приоритеты, периодичность и контроль времени выполнения на практике
Изучаем Annex D Ada (системы реального времени) на 8 практических примерах кода: приоритеты задач, протокол Ceiling_Locking, периодическое выполнение через d...
-
Безопасная конкурентность в Ada — практическое руководство по задачам и защищённым объектам
Вводная статья о встроенной в язык Ada конкурентности — задачах и защищённых объектах. Рассматриваем рандеву (entry/accept), выборочный accept, взаимное искл...
-
Введение в формальную верификацию SPARK ── от контрактов Ada к математическому доказательству
Практическое введение в формальную верификацию SPARK — подмножества Ada. Как подняться от контрактов (Pre/Post) к доказательству, как пользоваться GNATprove,...
-
Привлекательность языка Ada ── типы выражают проект, язык, который держит ПО, работающее десятилетиями
Разбираем, чем привлекателен язык Ada. Сильная типизация, ограничения диапазона, разделение спецификации и реализации через пакеты, контрактное проектировани...