The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Шестая версия патчей для ядра Linux с поддержкой языка Rust "
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Доступны два режима работы форума: "Раскрыть нити" и "Свернуть нити".
. "Шестая версия патчей для ядра Linux с поддержкой языка Rust " +/
Сообщение от PnD (??), 11-Май-22, 18:01 
Для критических мест в реальном времени (АДА тут мимо, НЯЗ) в своё время придумали язык "Дракон".
Под советский "Буран", ЕМНИП. Там фишка в компиляции по блок-схемам. Т.е., под каждым типом блока лежит некая функция (хоть на сях хоть на асм), которую таки можно вылизать вплоть до доказательства сходимости и т.п. А стрелочки собирают из них нужную конструкцию.
Такая вот само-документируемая (куда уж дальше) штука.
Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Шестая версия патчей для ядра Linux с поддержкой языка Rust , opennews, 08-Май-22, 11:03  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру