Типизация манифеста
Ввод манифеста Безопасность типа и типизация Манифестная типизация: явное определение типа переменной программистом. Скрытая типизация: определение типа во время выполнения, […]
Ввод манифеста Безопасность типа и типизация Манифестная типизация: явное определение типа переменной программистом. Скрытая типизация: определение типа во время выполнения, […]
Трансформация программы Определение и применение преобразований программ Преобразование программы — это операция, которая изменяет программу, создавая другую. Семантическая эквивалентность часто
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 — это язык программирования для верификации электронных схем. Включает функции высокого
X10 (язык программирования) История и разработка X10 X10 разработан IBM в рамках проекта PERCS, финансируемого DARPA. Основные авторы: Кемаль Эбчиоглу,
Столкновение имен Проблема коллизий имен в программировании Коллизия имен возникает, когда одно и то же имя переменной используется в разных
Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International. Основана на
Язык программирования очень высокого уровня Определение VHLL VHLL — это языки программирования с высоким уровнем абстракции. Они используются для повышения
Скомпилированный язык Определение и использование Компилируемый язык программирования компилирует исходный код в машинный код. Некоторые языки могут быть скомпилированы или
Символьное программирование Основы символьного программирования Символьное программирование позволяет программам манипулировать своими формулами и компонентами как данными. Сложные процессы создаются путем
Язык преобразования Основы языков преобразования Языки преобразования используются для изменения текста на основе формального языка. Системы преобразования включают Stratego/XT, TXL,
Язык тактильного программирования Основы тактильного программирования Тактильное программирование использует сенсорный интерфейс для взаимодействия с компьютерными программами. Основано на визуальных языках
Командный язык Определение командного языка Командный язык используется для управления заданиями в вычислительной технике. Это специализированный и интерпретируемый язык, часто
Объектно-ориентированный язык Определение объектно-ориентированного языка Объектно-ориентированные языки используют инкапсуляцию состояний и операций в объектах. Не все языки с поддержкой объектов