2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 2 cited
Rewriting Abstract Structures: Materialization Explained Categorically
Andrea Corradini, Tobias Heindel, Barbara König +2
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-h…
cs.LO2015
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings
H. J. Sander Bruggink, Barbara König, Dennis Nolte +1
We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapt…