Attribute Handling for Generating Preconditions from Graph Constraints

DOI10.1007/978-3-319-09108-2_6zbMath1423.68095OpenAlexW1751146823MaRDI QIDQ3192226

Frederik Deckwerth, Gergely Varró

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_6

zbMATH Keywords

static analysisattribute handlingrule preconditions

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems

This page was built for publication: Attribute Handling for Generating Preconditions from Graph Constraints