Pages that link to "Item:Q2849873"
From MaRDI portal
The following pages link to Modular rewriting semantics in practice (Q2849873):
Displaying 16 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Modular design of domain-specific languages using splittings of catamorphisms (Q1623119) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- (Q3090701) (← links)
- Pullback rewriting and applications (Q4923531) (← links)
- Modular non-deterministic semantics for T, TB, S4, S5 and more (Q5028307) (← links)
- Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)
- Algebraic Methodology and Software Technology (Q5312993) (← links)