Pages that link to "Item:Q3088267"
From MaRDI portal
The following pages link to The Rewriting Logic Semantics Project: A Progress Report (Q3088267):
Displaying 6 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
