乔治·赖奇温;何塞·路易斯·费亚代罗 UNITY逻辑替换公理的模型。 （英语） Zbl 0787.68015号 信息处理。莱特。 48，第4期，171-176（1993）. 摘要：UNITY逻辑的可靠性因其替代公理的可靠性而受到质疑。我们首先通过询问UNITY的可能模式来解决这些问题。UNITY元素的严格定义揭示了替代公理的元逻辑特征（为此我们提出了形式化）。我们描述了替换公理的形式版本所支持的模型类的特征，并讨论了它们对于UNITY作为程序设计语言的适用性。 引用于1文件 MSC公司： 68甲15 编程语言理论 68宽15 分布式算法 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：程序模块化;联合;替代公理;模型;程序设计语言 软件：联合 PDF格式BibTeX公司 XML格式引用 \textit{G.Reichwein}和\textit{J.L.Fiadeiro}，Inf.过程。莱特。48，第4号，171--176（1993；Zbl 0787.68015） 全文： 内政部 参考文献： [1] Chandy，K.M。；Misra，J.，并行程序设计-A Foundation（1988），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0717.68034号 [2] Ehrig，H。；Mahr，G.，《代数规范基础1：方程和初始语义》（1985年），《施普林格：施普林格-柏林》·Zbl 0557.68013号 [3] Fiadeiro，J.等人。；Maibaum，T.，《描述、构造和实现对象》，（de Bakker，J.；de Roever，W.-P.；Rozenberg，G.，《面向对象语言的基础》，面向对象语言基础，计算机科学讲义，489（1991），施普林格：施普林格柏林），274-310 [4] Fiadeiro，J.等人。；Sernadas，A.，《系统规范的模型术语逻辑》，J.Logic Comput。，1, 187-227 (1990) ·Zbl 0723.68070号 [5] Gerth，R。；Pnueli，A.，Rooting UNITY，（第五届国际软件规范与设计研讨会（1989年）） [6] Jutla，C.S。；Knapp，E。；Rao，J.R.，并行程序语义的谓词变换方法，Proc。ACM交响乐团（Ann.8 Ann.ACM Symp.）。分布式计算原理，249-263（1989） [7] Misra，J.，替换公理的合理性，《关于UNITY 14-90的注释》（1990） [8] Rao，J.R.，《关于引线完整性的概念》，《UNITY 24-91注释》（1991） [9] Reichwein，G.公司。；Fiadeiro，J.，《直截了当地看待UNITY》，技术报告。INESC（1992） [10] Sanders，B.，从UNITY逻辑中消除替换公理，形式方面计算。，3, 189-205 (1991) ·Zbl 0715.68059号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。