Scifaro

中文

可能不停机程序与测试上的 if-then-else 公理化

计算机科学中的逻辑 2016-09-02 v1

作者: Gayatri Panicker , K. V. Krishna , Purandar Bhaduri

在 arXiv 上查看 ↗ PDF ↗

摘要

为了研究可能不停机程序和测试上的if-then-else构造的公理化，本文通过考虑抽象C-代数中的测试引入了C-集的概念。当C-代数为ada时，通过获得C-集的子直表示证明了公理化是完备的。此外，本文考虑了带if-then-else构造的相等测试，并通过一致C-集的概念给出了完备公理化。

关键词

if-then-else 可能不停机程序测试公理化 C-集子直表示完备公理化

引用

@article{arxiv.1609.00132,
  title  = {Axiomatization of if-then-else over possibly non-halting programs and tests},
  author = {Gayatri Panicker and K. V. Krishna and Purandar Bhaduri},
  journal= {arXiv preprint arXiv:1609.00132},
  year   = {2016}
}