瑟·特凡·乔巴赫;多雷尔·卢卡努;弗拉德·鲁苏;格里高·罗什乌 编程语言聚合的理论基础。 （英语） Zbl 1472.68019号 Codescu，Mihai（编辑）等人，代数开发技术的最新趋势。2014年9月4日至7日，第22届国际研讨会，WADT 2014，罗马尼亚西奈亚。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9463, 30-47 (2015). 概要：应该正式指定编程语言，以便对用它们编写的程序进行推理。我们表明，给定两种正式指定的编程语言，可以构造聚合语言的形式语义，其中程序由来自初始语言的程序对组成。该构造基于代数技术，可用于将关系属性（如程序的等价性）简化为可达属性（在聚合语言中）。有关整个系列，请参见[兹比尔1327.68013]. 引用于3文件 MSC公司： 68甲15 编程语言理论 软件：莫德;CASL公司;K校准仪 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人，莱克特。注释计算。科学。9463，30--47（2015；Zbl 1472.68019） 全文： 内政部 哈尔