Rewriting Abstract Structures: Materialization Explained Categorically

02/13/2019
by   Andrea Corradini, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset