Pages that link to "Item:Q2873785"

The following pages link to A rewrite framework for language definitions and for generation of efficient interpreters (Q2873785):

Displaying 10 items.

• The rewriting logic semantics project: a progress report (Q393080) (← links)
• Language definitions as rewrite theories (Q730476) (← links)
• The rewriting logic semantics project (Q877024) (← links)
• An overview of the K semantic framework (Q987974) (← links)
• A rewriting logic approach to operational semantics (Q1012130) (← links)
• Implicit propagation in structural operational semantics (Q2810689) (← links)
• The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
• (Q4222980) (← links)
• Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)
• Defining and Executing P Systems with Structured Data in K (Q5191176) (← links)