Pages that link to "Item:Q2369036"

The following pages link to Executable structural operational semantics in Maude (Q2369036):

Displaying 20 items.

• The rewriting logic semantics project: a progress report (Q393080) (← links)
• A Maude environment for CafeOBJ (Q520244) (← links)
• Language definitions as rewrite theories (Q730476) (← links)
• An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
• Simulation of operational semantics of machine instructions (Q763568) (← links)
• Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
• A rewriting logic approach to operational semantics (Q1012130) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
• Semantic foundations for generalized rewrite theories (Q2503334) (← links)
• (Q2779792) (← links)
• An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0 (Q2851059) (← links)
• Prototyping SOS meta-theory in Maude (Q2852099) (← links)
• Modular structural operational semantics with strategies (Q2866312) (← links)
• Using Maude and its strategies for defining a framework for analyzing Eden semantics (Q2866804) (← 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)
• Hierarchical Design Rewriting with Maude (Q5179129) (← links)
• Structural operational semantics for a portable subset of behavioral VHDL-93 (Q5929100) (← links)