Efficient fair conjunction for structurally-recursive relations

Peter Lozov, Dmitry Boulytchev

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

We present a new, fair, conjunction evaluation strategy for relational programming language miniKanren. Unlike the original left-biased conjunction, our approach controls the order of conjunct execution based on the intrinsic properties of relation definitions. We present both the formal study of conjunction fairness and practical evaluation, which demonstrates the essential improvement in terms of both performance and convergence.

Язык оригиналаанглийский
Название основной публикацииPEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021
ИздательAssociation for Computing Machinery
Страницы58-73
Число страниц16
ISBN (электронное издание)9781450383059
DOI
СостояниеОпубликовано - 18 янв 2021
Событие2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021 - Virtual, Online, Дания
Продолжительность: 18 янв 202119 янв 2021

Серия публикаций

НазваниеPEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

конференция

конференция2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021
СтранаДания
ГородVirtual, Online
Период18/01/2119/01/21

Предметные области Scopus

  • Компьютерная графика и машинное проектирования
  • Прикладные компьютерные науки

Fingerprint

Подробные сведения о темах исследования «Efficient fair conjunction for structurally-recursive relations». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать