Pages that link to "Item:Q2873774"
From MaRDI portal
The following pages link to A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774):
Displaying 8 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- A compositional framework for hardware/software co-design (Q1859164) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A rewriting semantics for a software architecture description language (Q2848459) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)