Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций. Язык был создан в Техасском
Lustre (язык программирования) Определение и история Lustre Lustre — это декларативный синхронный язык программирования для реактивных систем. Начал разрабатываться в
Язык веб-онтологий Обзор онтологии OWL OWL — это язык для описания онтологий, который используется в семантической веб-технологии. Онтология — это
Журнал данных Основы Datalog Datalog — декларативный язык программирования для обработки данных. Используется для создания программ, которые выводят минимальные модели
Встроенный SQL Основы встроенного SQL Встроенный SQL объединяет возможности SQL с языками программирования для работы с базами данных. Инструкции SQL
СИГНАЛ (язык программирования) Основы языка программирования SIGNAL SIGNAL основан на синхронизированных потоках данных и описывает системы с несколькими тактами. Формальная
Miranda (язык программирования) Обзор Miranda Miranda — это функциональный язык программирования, разработанный Дэвидом Тернером. Язык был выпущен в 1985 году
Erlang (язык программирования) Обзор Erlang Erlang — функциональный язык программирования с акцентом на параллелизм и отказоустойчивость. Разработан в 1986 году
Swift (язык программирования) Swift — современный язык программирования, разработанный Apple. Он сочетает в себе элементы C, C++, Objective-C и других