安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马尔克斯 关于双推挤和半推挤方法平行独立的本质。 (英文) Zbl 1383.68042号 Heckel,Reiko(编辑)等人,图变换、规范和网络。为了纪念哈特穆特·埃里格。查姆:施普林格(ISBN 978-3-319-75395-9/pbk;978-3-3169-75396-6/电子书)。计算机科学课堂讲稿10800,1-18(2018)。 摘要:变换步骤之间的并行独立性是图变换代数方法中的一个基本概念,也是一些静态分析技术(如关键对分析)的核心。我们提出了一个新的平行独立的范畴条件,并证明了它与文献中提出的其他两个条件的等价性,对于左线性和非左线性规则。接下来,我们给出了一些初步的实验结果,旨在比较这三种条件的计算效率。为此,我们在Verigraph系统中实现了三个条件(仅适用于左线性规则),并使用它们来检查由一些样本图转换系统生成的重叠索引对在类型图类别上的并行独立性。关于整个系列,请参见[Zbl 1383.68006号]. 引用于8文件 MSC公司: 2012年第68季度 语法和重写系统 18A30型 极限和共线(乘积、和、有向极限、pushouts、纤维乘积、均衡器、核、端点和系数等) 第68季度第65季度 抽象数据类型;代数规范 关键词:双推出变换;图形变换;Verigraph公司;平行独立性;类型图的类别 软件:Verigraph公司;AGG公司;沟槽 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,Lect。注释计算。科学。10800,1-18(2018;Zbl 1383.68042) 全文: 内政部 链接