GUBS 上界求解器（扩展摘要）
计算机科学中的逻辑
2017-04-20 v1
摘要
在本扩展摘要中，我们介绍 GUBS 上界求解器。GUBS 是一个专门用于自然数的约束求解器，处理由未解释函数符号和标准算术运算构成的不等式。GUBS 现在构成了 HoSA 的支柱，HoSA 是一个用于自动分析高阶函数式程序空间和时间复杂度的工具。我们给出了关于实现的见解并报告了不同的案例研究。
引用
@article{arxiv.1704.05586,
title = {GUBS Upper Bound Solver (Extended Abstract)},
author = {Martin Avanzini and Michael Schaper},
journal= {arXiv preprint arXiv:1704.05586},
year = {2017}
}
备注
In Proceedings DICE-FOPARA 2017, arXiv:1704.05169