Datalog 中的约束传播近似
摘要：利用带聚合功能的Datalog技术提高具有算术（不）不等式的程序性能。我们的方法使用源码转换技术，近似约束编程的传播技巧。实验评估显示，在一系列非递归和递归程序上，我们的方法可以提供良好的运行时间加速。此外，我们的技术改进了以往文献中报告的约束魔术集转换方法。
作者：Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers
论文ID：1112.3787
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19