Programming language topic stubs

Вики

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

/

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

Вики

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

/

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

Вики

Оператор J

/

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

Вики

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

/

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

Вики

Встроенный C

/

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

Вики

ПАЛАСМ

/

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

Вики

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

/

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

Вики

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

/

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

Вики

X10 (язык программирования)

/

X10 (язык программирования) История и разработка X10 X10 разработан IBM в рамках проекта PERCS, финансируемого DARPA.  Основные авторы: Кемаль Эбчиоглу,

Вики

Эрабль

/

Стираемый История и развитие Erable Erable — это система компьютерной алгебры, разработанная для HP 40, 48 и HP 49/50.  Изначально

Вики

Столкновение имен

/

Столкновение имен Проблема коллизий имен в программировании Коллизия имен возникает, когда одно и то же имя переменной используется в разных

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

Компилируемый язык

/

Скомпилированный язык Определение и использование Компилируемый язык программирования компилирует исходный код в машинный код.  Некоторые языки могут быть скомпилированы или

Вики

Символьное программирование

/

Символьное программирование Основы символьного программирования Символьное программирование позволяет программам манипулировать своими формулами и компонентами как данными.  Сложные процессы создаются путем

Вики

Язык трансформации

/

Язык преобразования Основы языков преобразования Языки преобразования используются для изменения текста на основе формального языка.  Системы преобразования включают Stratego/XT, TXL,

Вики

Тактильный язык программирования

/

Язык тактильного программирования Основы тактильного программирования Тактильное программирование использует сенсорный интерфейс для взаимодействия с компьютерными программами.  Основано на визуальных языках

Вики

Командный язык

/

Командный язык Определение командного языка Командный язык используется для управления заданиями в вычислительной технике.  Это специализированный и интерпретируемый язык, часто

Вики

Объектно-ориентированный язык

/

Объектно-ориентированный язык Определение объектно-ориентированного языка Объектно-ориентированные языки используют инкапсуляцию состояний и операций в объектах.  Не все языки с поддержкой объектов

Прокрутить вверх