可能非终止程序与测试幺半群上 if-then-else 的公理化
计算机科学中的逻辑
2017-02-21 v1
摘要
为研究可能非终止程序与测试上 if-then-else 构造的公理化，文献中通过考虑来自抽象 -代数的测试引入了 -集的概念。本文将该 -集概念推广至 -幺半群，其包含程序的复合以及程序与测试的复合。对于 -代数为 adas 的 -幺半群类，获得了以函数式 -幺半群表示的规范表示。
引用
@article{arxiv.1702.05752,
title = {Axiomatization of if-then-else over monoids of possibly non-halting programs and tests},
author = {Gayatri Panicker and K. V. Krishna and Purandar Bhaduri},
journal= {arXiv preprint arXiv:1702.05752},
year = {2017}
}