Декларативные языки программирования

Вики

Зависимый ОД

/

Зависимый МЛ Обзор 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 – это язык для описания онтологий, который используется в семантической веб-технологии.  Онтология – это

Вики

Встроенный SQL

/

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

Вики

SQL-92

/

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

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