Nested Quantification in Graph Transformation Rules


Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil (pp. pp. 1-13).

open access
Abstract:In this paper we describe a way to integrate Taentzer’s rule amalgamation with the recently proposed notions of nested graph conditions. The resulting so-called quantified graph transformation rules include (universally and existentially) quantified sub-structures in a flexible way. This can be used for instance to specify a larger-step operational semantics, thus improving the scalability of graph transformation as a technique for software verification.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 238095