Теория языков программирования

Актерная модель: история развития и архитектуры

Акторная модель: математическая модель конкурентных вычислений, разработанная в 1973 году. Исследование мощности, композиции, архитектур и открытых систем.

#422480 · 3 мин чтения

Программирование на основе инвариантов: методология и перспективы

Программирование на основе инвариантов: методология разработки с предварительным определением спецификаций и свойств. Повышает надежность и позволяет формальную верификацию кода.

#427199 · 1 мин чтения

Катаморфизмы в функциональном программировании

Катаморфизм в функциональном программировании: обобщение сворачивания списков для алгебраических типов данных. Анамморфизм, гиломорфизм – ключевые понятия.

#431474 · 1 мин чтения

Логика разделения: основы и свойства

Логика разделения: расширение логики Хоара для рассуждений о программах. Описывает состояние памяти (хранилище и кучу) в C, Java и др. языках.

#433660 · 2 мин чтения

Свойство главного типа в теории типов

Свойство главных типов в теории типов: определение, преимущества и алгоритмы (Hindley-Milner). Важность для систем типов и вывод типов.

#440681 · 1 мин чтения

Метациркулярные интерпретаторы и самоинтерпретация в функциональных языках программирования.

Метациркулярный интерпретатор (MCE/MCI): определение, принцип работы и применение в Lisp. Самоинтерпретаторы и самокомпилирующиеся компиляторы.

#443341 · 2 мин чтения

Конкурентное логическое программирование с ограничениями

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

#444498 · 7 мин чтения

ΛProlog

#457993 · 2 мин чтения

Temporal Process Language

#469401 · 2 мин чтения

Grammatical evolution

#499382 · 4 мин чтения

High- and low-level

#505846 · 2 мин чтения

API-Calculus

#508079 · 2 мин чтения