The following pages link to Graph Transformations (Q5292612):
Displaying 10 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Deriving and paraphrasing information grammars using object-oriented analysis models (Q1403318) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Verifying object-based graph grammars (Q2847855) (← links)
- A graph-based semantics for object-oriented programming constructs (Q2849880) (← links)
- Formal verification of object-oriented graph grammars specifications (Q2867893) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902539) (← links)