miniKanren 合取部分演绎的实证研究
编程语言
2021-09-08 v1
摘要
我们在关系编程语言 miniKanren 的背景下研究合取部分演绎这一旨在提升逻辑程序性能的先进专用化技术。我们识别出由 miniKanren 特性引发的一系列问题，并描述了一种基于部分演绎与超编译的专用化新方法。评估结果表明关系解释器得到了成功专用化。尽管该项目尚处早期阶段，我们将其视为迈向 miniKanren 高效优化框架的第一步。
引用
@article{arxiv.2109.02814,
title = {An Empirical Study of Partial Deduction for miniKanren},
author = {Ekaterina Verbitskaia and Daniil Berezun and Dmitry Boulytchev},
journal= {arXiv preprint arXiv:2109.02814},
year = {2021}
}
备注
In Proceedings VPT 2021, arXiv:2109.02001