The following pages link to Graph Transformations (Q5292610):
Displaying 4 items.
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)