Pages that link to "Item:Q2715823"

The following pages link to Language prototyping: An algebraic specification approach (Q2715823):

Displaying 27 items.

• The rewriting logic semantics project: a progress report (Q393080) (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• Normal forms and normal theories in conditional rewriting (Q730473) (← links)
• Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
• Look-ahead removal for total deterministic top-down tree transducers (Q906394) (← links)
• A rewriting logic approach to operational semantics (Q1012130) (← links)
• Polymorphic syntax definition (Q1129122) (← links)
• Revised report on the algorithmic language scheme (Q1280731) (← links)
• Prototyping realistic programming languages based on formal specifications (Q1386439) (← links)
• Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• Proving operational termination of membership equational programs (Q2271899) (← links)
• A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
• Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
• Linking theorems for tree transducers (Q2628796) (← links)
• Abstract language design (Q2638790) (← links)
• ASF+SDF parsing tools applied to ELAN (Q2703695) (← links)
• A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
• Term rewriting with type-safe traversal functions (Q2843609) (← links)
• A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
• A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
• The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
• smgn: Rapid Prototyping of Small Domain-Specific Languages (Q3150025) (← links)
• (Q4281594) (← links)
• (Q4433995) (← links)
• Semi-automatic grammar recovery (Q4791063) (← links)
• Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)