Сведения о проекте
| Акроним | RFBR_ASP_2019 |
|---|---|
| Статус | Активный |
| Действительная дата начала/окончания | 1/10/19 → 30/09/21 |
Ключевые слова
- реляционное программирование
- miniKanren
- стратегии вычисления
- вызов по необходимости
Моделирование стратегий вычисления вызовов по необходимости в реляционных программах
- Кознов, Дмитрий Владимирович (руководитель)
- Лозов, Петр Алексеевич (исполнитель)
Проект: исполнение гранта/договора › исполнение гранта/договора в целом