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