Declarative programming languages

Вики

Зависимый ОД

/

Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году.  Является диалектом […]

Вики

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

/

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

Вики

Цикл

/

Цикл Основы CycL CycL — язык онтологий в проекте Cyc, разработанный Дугласом Ленатом.  Раманатан и Гуха внесли значительный вклад в

Вики

ПоследовательностьL

/

Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций.  Язык был создан в Техасском

Вики

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

/

Lustre (язык программирования) Определение и история Lustre Lustre — это декларативный синхронный язык программирования для реактивных систем.  Начал разрабатываться в

Вики

SPARQL

/

SPARQL Определение и история SPARQL SPARQL — это язык запросов RDF для извлечения и манипулирования данными в формате RDF.  Введен

Вики

Язык веб-онтологии

/

Язык веб-онтологий Обзор онтологии OWL OWL — это язык для описания онтологий, который используется в семантической веб-технологии.  Онтология — это

Вики

Ученый-компьютерщик

/

Журнал данных Основы Datalog Datalog — декларативный язык программирования для обработки данных.  Используется для создания программ, которые выводят минимальные модели

Вики

Встроенный SQL

/

Встроенный SQL Основы встроенного SQL Встроенный SQL объединяет возможности SQL с языками программирования для работы с базами данных.  Инструкции SQL

Вики

SQL-92

/

SQL-92 Основные изменения в SQL-92 SQL-92 является третьей версией языка запросов к базе данных SQL.  SQL-92 представляет собой серьезный пересмотр

Вики

Модельика

/

Моделька Обзор языка моделирования Modelica Modelica — объектно-ориентированный язык для моделирования технических систем.  Язык разработан для повторного использования динамических моделей

Вики

СИГНАЛ (язык программирования)

/

СИГНАЛ (язык программирования) Основы языка программирования SIGNAL SIGNAL основан на синхронизированных потоках данных и описывает системы с несколькими тактами.  Формальная

Вики

МетаПост

/

МетаПост Обзор MetaPost MetaPost — это язык программирования и интерпретатор, основанные на Metafont.  Создает векторные графические диаграммы из геометрических описаний. 

Вики

Метафонт

/

Метафонт Основы Metafont Metafont — это система для создания векторных шрифтов, разработанная Дональдом Кнутом.  Шрифты Metafont состоят из штрихов с

Вики

XSLT

/

XSLT-файл XSLT — язык для преобразования XML-документов в другие форматы, включая HTML, текст и объекты форматирования XSL.  Поддержка преобразования JSON

Вики

SQL

/

SQL SQL — предметно-ориентированный язык для управления данными в реляционных базах данных.  SQL был разработан в 1970-х годах и стал

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