Pages that link to "Item:Q2810689"
From MaRDI portal
The following pages link to Implicit Propagation in Structural Operational Semantics (Q2810689):
Displaying 6 items.
- Flag-based big-step semantics (Q516041) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) (← links)
