Незавершенные темы по языку программирования

Вики

Типизация манифеста

/

Ввод манифеста Безопасность типа и типизация Манифестная типизация: явное определение типа переменной программистом.  Скрытая типизация: определение типа во время выполнения, […]

Вики

Программа трансформации

/

Трансформация программы Определение и применение преобразований программ Преобразование программы – это операция, которая изменяет программу, создавая другую.  Семантическая эквивалентность часто

Вики

Оператор J

/

J оператор Определение и использование оператора J Оператор J в информатике создает функцию с продолжением в текущем лямбда-контексте.  Функция, созданная

Вики

Профиль Равенскара

/

Профиль Ravenscar Профиль Ravenscar в Ada Профиль Ravenscar предназначен для управления задачами в реальном времени и критически важен для безопасности. 

Вики

Встроенный C

/

Встроенный C Определение Embedded C Embedded C – это набор расширений для C, разработанный для поддержки встраиваемых систем.  Он решает

Вики

ПАЛАСМ

/

ОЦЕПЕНЕНИЕ Описание языка PALASM PALASM – это язык для описания аппаратного обеспечения, разработанный для программируемой матричной логики (PAL) от Monolithic

Вики

Лола (компьютер)

/

Лола (компьютер) Обзор языка описания аппаратного обеспечения Lola Lola разработан Никлаусом Виртом для обучения студентов-информатиков проектированию на FPGA.  Язык предназначен

Вики

Язык проверки оборудования

/

Язык проверки аппаратного обеспечения Определение и использование HVL HVL – это язык программирования для верификации электронных схем.  Включает функции высокого

Вики

ИСО/МЭК 8652

/

ISO/IEC 8652 ISO/IEC 8652 – международный стандарт для языка программирования Ada.  Стандарт был подготовлен Рабочей группой Ada, ISO/IEC JTC1/SC22/WG 9.