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