Pages that link to "Item:Q5312993"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312993):
Displaying 19 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Modular design of domain-specific languages using splittings of catamorphisms (Q1623119) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Modular programming languages. Joint modular languages conference, JMLC 2003, Klagenfurt, Austria, August 25--27, 2003. Proceedings. (Q1881373) (← links)
- Synchronous products of rewrite systems (Q1990506) (← links)
- Pattern eliminating transformations (Q2119103) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Implicit propagation in structural operational semantics (Q2810689) (← links)
- Specification of logic programming languages from reusable semantic building blocks (Q2841297) (← links)
- Modular rewriting semantics in practice (Q2849873) (← links)
- Modular structural operational semantics with strategies (Q2866312) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- (Q4222980) (← links)
