斯泰利奥斯·赞帕斯；安德烈亚斯·努伊茨；多米尼克·德夫里塞；弗兰克·皮森斯 安全编译的明确方法。 （英语） Zbl 07314153号 Petrišan，Daniela（编辑）等人，《计算机科学中的协代数方法》。第15届IFIP工作组1.3国际研讨会，CMCS 2020，与ETAPS 2020共同举办，爱尔兰都柏林，2020年4月25日至26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12094, 155-179 (2020). 摘要：我们介绍了一种基于分布律映射的安全编译的新方法。我们通过四个示例证明，分配律映射的一致性标准可能是编译器安全性的可行替代方案，而不是完全抽象，即保留和反映上下文等价。为此，我们还利用分配律的行为良好性，为双相似性的上下文含义构建了一个明确的论证。有关整个系列，请参见[Zbl 1454.68013号]. 引用于1文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：安全编译；分配律；结构操作语义 PDF格式BibTeX公司 XML格式引用 \textit{S.Tsampas}等人，Lect。票据计算。科学。12094、155--179（2020；Zbl 07314153） 全文： 内政部 arXiv公司