Pages that link to "Item:Q1012130"
From MaRDI portal
The following pages link to A rewriting logic approach to operational semantics (Q1012130):
Displayed 15 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Finding a Forest in a Tree (Q2811922) (← 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)
- Converting between Combinatory Reduction Systems and Big Step Semantics (Q3184752) (← links)