Name
Abstract | ||
|---|---|---|
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-hand sides from abstract graphs, a central concept in previous work. The first contribution is an accessible, general explanation of how materializations arise from universal properties and categorical constructions, in particular partial map classifiers, in a topos. Second, we introduce an extension by enriching objects with annotations and give a precise characterization of strongest post-conditions, which are effectively computable under certain assumptions. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/978-3-030-17127-8_10 | FoSSaCS |
DocType | Volume | Citations |
Journal | abs/1902.04809 | 0 |
PageRank | References | Authors |
0.34 | 13 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrea Corradini | 1 | 1108 | 90.63 |
| Tobias Heindel | 2 | 156 | 12.93 |
| Barbara König | 3 | 225 | 18.40 |
| Dennis Nolte | 4 | 0 | 1.01 |
| Arend Rensink | 5 | 1193 | 93.96 |