Моделирование стратегий вычисления вызовов по необходимости в реляционных программах

Моделирование стратегий вычисления вызовов по необходимости в реляционных программах

Проект: исполнение гранта/договора › исполнение гранта/договора в целом

Кознов, Дмитрий Владимирович (руководитель)
Лозов, Петр Алексеевич (исполнитель)

Акроним	RFBR_ASP_2019
Статус	Завершено
Эффективные даты начала/конца	1/10/19 → 30/09/21

Области исследований

реляционное программирование, miniKanren, стратегии вычисления, вызов по необходимости

ID: 45664086

Pure – это продукт компании Elsevier
На данном информационном ресурсе могут быть опубликованы архивные материалы
с упоминанием физических и юридических лиц, включенных Министерством юстиции
Российской Федерации в реестр иностранных агентов

Вход в Pure