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

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

АббревиатураRFBR_ASP_2019
СтатусАктивный
Действительная дата начала/окончания1/10/1930/09/21

Ключевые слова

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