Типизация манифеста
Ввод манифеста Безопасность типа и типизация Манифестная типизация: явное определение типа переменной программистом. Скрытая типизация: определение типа во время выполнения, […]
Ввод манифеста Безопасность типа и типизация Манифестная типизация: явное определение типа переменной программистом. Скрытая типизация: определение типа во время выполнения, […]
Трансформация программы Определение и применение преобразований программ Преобразование программы — это операция, которая изменяет программу, создавая другую. Семантическая эквивалентность часто
J оператор Определение и использование оператора J Оператор J в информатике создает функцию с продолжением в текущем лямбда-контексте. Функция, созданная
Проблемно-ориентированный язык для исполнительных систем История и применение ESPOL ESPOL — это язык программирования, который является надмножеством ALGOL 60. ESPOL
Профиль Ravenscar Профиль Ravenscar в Ada Профиль Ravenscar предназначен для управления задачами в реальном времени и критически важен для безопасности.
Встроенный C Определение Embedded C Embedded C — это набор расширений для C, разработанный для поддержки встраиваемых систем. Он решает
ELLA (язык программирования) История и применение ELLA ELLA — язык описания аппаратного обеспечения, разработанный в Великобритании в 1980-х и 1990-х.
Лола (компьютер) Обзор языка описания аппаратного обеспечения Lola Lola разработан Никлаусом Виртом для обучения студентов-информатиков проектированию на FPGA. Язык предназначен
Язык проверки аппаратного обеспечения Определение и использование HVL HVL — это язык программирования для верификации электронных схем. Включает функции высокого
ISO/IEC 8652 ISO/IEC 8652 — международный стандарт для языка программирования Ada. Стандарт был подготовлен Рабочей группой Ada, ISO/IEC JTC1/SC22/WG 9.