The following pages link to An algebraic semantics for MOF (Q973052):
Displaying 7 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- A Module System for Domain-Specific Languages (Q2931279) (← links)
- Two Decades of Maude (Q2945709) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
