DOI

Язык оригиналарусский
Страницы (с-по)47-66
ЖурналТруды института системного программирования РАН
Том36
Номер выпуска5
DOI
СостояниеОпубликовано - 2024

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

  • проектирование интерфейсов, синтез программ, программирование в ограничениях, реляционное программирование, встраиваемый язык miniKanren

ID: 138863798