A PBPO plus Graph Rewriting Tutorial

被引：2
|
作者：
Overbeek, Roy [1 ]
Endrullis, Jorg [1 ]
机构：
[1] Vrije Univ Amsterdam, Amsterdam, Netherlands
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2022年 / 354期
关键词：
ALGEBRAIC APPROACH; TRANSFORMATION; PULLBACK;
D O I：
10.4204/EPTCS.377.3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We provide a tutorial introduction to the algebraic graph rewriting formalism PBPO+. We show how PBPO+ can be obtained by composing a few simple building blocks, and model the reduction rules for binary decision diagrams as an example. Along the way, we comment on how alternative design decisions lead to related formalisms in the literature, such as DPO. We close with a detailed comparison with Bauderon's double pullback approach.
引用
收藏
页码：45 / 63
页数：19
相关论文
共 50 条
  • [1] PBPO plus Graph Rewriting in Context
    Endrullis, Jorg
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (377):
  • [2] Graph rewriting and relabeling with PBPO plus : A unifying theory for quasitoposes
    Overbeek, Roy
    Endrullis, Joerg
    Rosset, Alois
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 133
  • [3] Graph Rewriting and Relabeling with PBPO+
    Overbeek, Roy
    Endrullis, Jorg
    Rosset, Alois
    GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 60 - 80
  • [4] The PBPO graph transformation approach
    Corradini, Andrea
    Duval, Dominique
    Echahed, Rachid
    Prost, Frederic
    Ribeiro, Leila
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 103 : 213 - 231
  • [5] Tutorial on term rewriting
    Middeldorp, A
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 577 - 577
  • [6] Term Graph Rewriting and Parallel Term Rewriting
    Corradini, Andrea
    Drewes, Frank
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 3 - 18
  • [7] ON THE ADEQUACY OF GRAPH REWRITING FOR STIMULATING TERM REWRITING
    KENNAWAY, JR
    KLOP, JW
    SLEEP, MR
    DEVRIES, FJ
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 493 - 523
  • [8] Graph Rewriting for Graph Neural Networks
    Machowczyk, Adam
    Heckel, Reiko
    GRAPH TRANSFORMATION, ICGT 2023, 2023, 13961 : 292 - 301
  • [9] TERM GRAPH REWRITING
    BARENDREGT, HP
    VANEEKELEN, MCJD
    GLAUERT, JRW
    KENNAWAY, JR
    PLASMEIJER, MJ
    SLEEP, MR
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 141 - 158
  • [10] Termination of Graph and Term Graph Rewriting
    Koenig, Barbara
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (225): : 2 - 2
12345