×
马塞尔·杰克逊;蒂姆·斯托克斯

带有if-then-else和暂停程序的半群。 （英语） Zbl 1203.08005号

国际代数计算杂志。 19，第7期，937-961（2009）.
作者摘要：“‘if-then-else’结构是最基本的编程命令之一，从麦卡锡开始，它的抽象法则已经被广泛研究。可能，最明显的扩展是包括程序组合的操作，它给出了一个函数半群可以使用if-then-else重新组合的（全部、部分或可能是一般二进制关系）。我们表明，这个特殊的扩展不允许有限的完全公理化，而是关注于允许使用谓词组合函数的情况（我们认为有充分的理由采用这种方法）。在总函数的情况下——对停止程序建模——我们给出了有限方程组理论的完全公理化。当包含等式检验和/或不动点检验时，我们得到了类似的结果。”
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）

引用于12文件

MSC公司：

08A70号 泛代数在计算机科学中的应用
20平方米 变换、关系、分区等的半群。
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

转型;半群;if-then-else公司;相等性测试;定点试验;程序的组成
PDF格式BibTeX公司 XML格式引用
\textit{M.Jackson}和\textit{T.Stokes}，《国际代数计算》。19，第7号，937--961（2009；Zbl 1203.08005）
全文： 内政部

参考文献：

[1] DOI:10.1007/BF01190851·Zbl 0692.18003号 ·doi:10.1007/BF01190851
[2] 内政部：10.1137/021247·Zbl 0518.68010号 ·数字对象标识代码：10.1137/021247
[3] 内政部：10.1017/S000497270000959X·Zbl 0811.08006号 ·doi:10.1017/S000497270000959X
[4] DOI:10.1145/360933.360975·Zbl 0308.68017号 ·数字对象标识代码：10.1145/360933.360975
[5] 内政部：10.1137/0216025·Zbl 0628.68032号 ·数字对象标识代码：10.1137/0216025
[6] Hoare C.A.R.，通信协会计算。机器。第576页，共12页
[7] DOI:10.1016/S0021-8693（03）00314-4·Zbl 1041.20043号 ·doi:10.1016/S0021-8693（03）00314-4
[8] 内政部：10.1142/S0218196706003426·Zbl 1117.08003号 ·doi:10.1142/S0218196706003426
[9] 内政部：2006年10月10日/jabr.1999.7939·Zbl 0939.16013号 ·doi:10.1006/jabr.1999.7939
[10] DOI:10.145/3343369.3343378·兹比尔1365.68326 ·doi:10.145/3343369.3343378
[11] DOI:10.1016/j.tcs.2005.09.069·Zbl 1086.68082号 ·doi:10.1016/j.tcs.2005.09.069
[12] 内政部：10.1007/BF01190447·Zbl 0795.08006号 ·doi:10.1007/BF01190447
[13] DOI:10.1016/s049-237X（08）72018-4·doi:10.1016/S0049-237X（08）72018-4
[14] 内政部：10.1137/0216033·Zbl 0654.68029号 ·数字对象标识代码：10.1137/0216033
[15] 内政部：10.1137/0220049·Zbl 0736.68061号 ·doi:10.1137/0220049
[16] 内政部：10.1007/BF02573019·Zbl 0197.29404号 ·doi:10.1007/BF02573019
[17] Schein B.M.、Amer。数学。Soc.翻译。序列号。2 113第123页–·Zbl 0404.20057号 ·doi:10.1090/trans2/113/06
[18] 内政部：10.1007/s000120050065·Zbl 0935.06013号 ·doi:10.1007/s000120050065
[19] Stokes T.，科学学报。数学。（塞格德）72第481页-
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。