Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
ada-ukraine.github.io
Logo
  • Про Ada Ukraine

Курси:

  • Курси
    • Введення в Ada
      • Вступ
      • Імперативна мова
      • Підпрограми
      • Модульне програмування
      • Суворо типізована мова
      • Записи
      • Массиви
      • Більше про типи
      • Тип-посилання
    • Посібник з якості та стилю
      • Передмова
      • Вступ
      • Презентація вихідного коду
      • Читабельність
  • Статті

Останні статті

  • 11 липня - Розуміння "спотворення" (mangling) імен в Ada
  • 28 червня - Сертифікація багатоядерних систем за допомогою Ada
  • 23 травня - Розв'язання судоку за допомогою AdaSAT
  • 18 березня - Ніколи не використовуйте Float або Integer
  • 15 березня - Важливість концепції власності для досягнення безпеки памʼяті

Теги

  • Ada-83
  • Alire
  • IDE
  • Ravenscar
  • SPARK
  • ada-ukraine
  • auj
  • certification
  • drivers
  • embedded
  • future
  • lang
  • multicore
  • network
  • podcast
  • Подкаст
  • Посібник
  • Початківцям
  • компілятор
  • техгичні
  • історія

Archives

  • 2026 (8)
  • 2025 (7)
  • 2024 (1)
Back to top

Posts by Stéphane Carrez

Мережевий стек IP в Ada 2012 та профіль Ravenscar

  • 07 січня 2026
  • Author: Stéphane Carrez
  • Language: Україньска
  • Теги: network · Ravenscar · embedded

Стефан Каррез

Read more ...

Copyright © 2024 – 2025, Ada Ukraine. All rights reserved. CC BY 4.0 License
Made with Furo