Йорик (язык программирования)
Йорик (язык программирования) Обзор языка программирования Yorick Yorick — интерпретируемый язык для работы с числами и управления научными моделями. Язык […]
Вики
Языки программирования
Вики
Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические
Вики
Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом
Вики
Идрис (язык программирования)
Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и отложенным вычислением. Разработан как
Вики
F* (язык программирования)
F* (язык программирования) Обзор языка программирования F* F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями. Основан на
Вики
ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Вики
Язык описания действий
Язык описания действия Основы ADL ADL — это автоматизированная система планирования для роботов, которая является продвижением ПОЛОС. Эдвин Педно предложил
Вики
Язык программирования общего назначения
Язык программирования общего назначения Обзор языков программирования Языки программирования классифицируются по различным критериям, включая назначение, синтаксис и историю. Существуют языки
Вики
Язык программирования уровня Z
Язык программирования Z-уровня Обзор языка программирования Z-level Z-level — язык программирования для массивов данных, предназначенный для замены C и C++.
Вики
СуперПаскаль
Сверхпрочный История и развитие SuperPascal SuperPascal разработан Пером Бринчем Хансеном для параллельных вычислений. Основан на Паскале Никлауса Вирта с функциями
Вики
Красный (язык программирования)
Красный (язык программирования) Обзор языка программирования Red Red был разработан для преодоления ограничений Rebol и представлен в 2011 году. Он
Вики
ParaSail (язык программирования)
ParaSail (язык программирования) Обзор языка ParaSail ParaSail — это объектно-ориентированный язык параллельного программирования. Язык использует модель программирования без указателей и
Вики
Оз (язык программирования)
Oz (язык программирования) Обзор языка программирования Oz Oz — мультипарадигмальный язык, разработанный для обучения программированию. Основан на работах Герта Смолки
Вики
Джойс (язык программирования)
Джойс (язык программирования) Обзор языка программирования Joyce Joyce разработан для параллельных вычислений и основан на Pascal и CSP. Создан для
Вики
Присоединяйтесь к Java
Присоединяйтесь к Java Основы языка программирования Join Java Join Java расширяет Java с помощью семантики join-calculus для параллелизма. Создана доктором