SCT 可靠性的强度
逻辑
2017-09-27 v1
摘要
在本文中，我们延续了 Frittaion、Steila 和 Yokoyama（2017）在反推数学背景下对尺寸变化终止（size-change termination）的研究。我们分析了 SCT 方法的可靠性。特别地，我们证明了命题“任何满足 SCT 准则所提供的组合条件的程序都是终止的”在 之上等价于 。
引用
@article{arxiv.1709.09036,
title = {The strength of SCT soundness},
author = {Emanuele Frittaion and Florian Pelupessy and Silvia Steila and Keita Yokoyama},
journal= {arXiv preprint arXiv:1709.09036},
year = {2017}
}
备注
30 pages