单遍指令序列行为同余的公理
编程语言
2019-01-28 v2 计算机科学中的逻辑
摘要
在程序代数（一种单遍指令序列的代数理论）中，指令序列上的三种同余备受关注：指令序列同余、结构同余和行为同余。前两种同余的可靠且完备公理系统已在程序代数的早期论文中给出。当前论文是首个关注第三种同余公理系统的论文。所呈现的公理系统尤其以其涉及前向跳转指令的公理而引人注目。
引用
@article{arxiv.1702.03511,
title = {Axioms for behavioural congruence of single-pass instruction sequences},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:1702.03511},
year = {2019}
}
备注
19 pages, this paper draws somewhat from the preliminaries of arXiv:1502.00238 [cs.PL] and some earlier papers; some remarks added and some remarks reformulated