Pages that link to "Item:Q1878712"
From MaRDI portal
The following pages link to Modular structural operational semantics (Q1878712):
Displaying 28 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Implicit Propagation in Structural Operational Semantics (Q2810689) (← links)
- Modular Structural Operational Semantics with Strategies (Q2866312) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (Q2873785) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
