Индекс форумов |
Исходное сообщение |
---|
"Четвёртая редакция патчей для ядра Linux с поддержкой языка ..." Отправлено anonymous, 19-Янв-22 15:59 |
Ну, вообще-то разные языки дают разные принципиальные возможности по анализу. Какие-то языки явно формулируют допущения, владение ресурсами и прочее (и это даёт возможность проверить корректность применения в контексте выбранных допущений и прочего). А какие-то языки работают абсолютно императивно и дают возможность лишь динамического анализа (и то сильно ограниченного). |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |