Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
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.
| Original language | English |
|---|---|
| Title of host publication | PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021 |
| Editors | S Lindley, T Mogensen |
| Publisher | Association for Computing Machinery |
| Pages | 58-73 |
| Number of pages | 16 |
| ISBN (Electronic) | 9781450383059 |
| DOIs | |
| State | Published - 17 Jan 2021 |
| Event | 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, Denmark Duration: 18 Jan 2021 → 19 Jan 2021 |
| Name | Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation |
|---|
| Conference | 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 |
|---|---|
| Country/Territory | Denmark |
| City | Virtual, Online |
| Period | 18/01/21 → 19/01/21 |
ID: 76606475