scientific article; zbMATH DE number 7456052
From MaRDI portal
Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel
Publication date: 12 January 2022
Full work available at URL: https://arxiv.org/abs/2012.02192
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructing optimized constraint-preserving application conditions for model transformation rules
- Unfolding semantics of graph transformation
- A framework for the verification of infinite-state graph transformation systems
- Unfolding graph grammars with negative application conditions
- Theorem proving graph grammars with attributes and negative application conditions
- Fundamentals of algebraic graph transformation
- Transformation Systems with Incremental Negative Application Conditions
- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
- Canonical Derivations with Negative Application Conditions
- Correctness of high-level transformation systems relative to nested conditions
- Handbook of Graph Grammars and Computing by Graph Transformation
- Delaying Constraint Solving in Symbolic Graph Transformation
- Unfolding Symbolic Attributed Graph Grammars
- Foundations of Software Science and Computation Structures
