Pages that link to "Item:Q393080"
From MaRDI portal
The following pages link to The rewriting logic semantics project: a progress report (Q393080):
Displaying 17 items.
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Rewriting logic bibliography by topic: 1990--2011 (Q1931905) (← links)
- Rewriting semantics of production rule sets (Q1931912) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Modular rewriting semantics in practice (Q2849873) (← links)
- The rewriting logic semantics project (Q2852094) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774) (← 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)
- Logic representation in LF (Q5096264) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- Automated Reasoning (Q5307047) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
