Pages that link to "Item:Q5249248"

The following pages link to REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248):

Displaying 28 items.

• Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
• Typed generic traversal with term rewriting strategies (Q1394988) (← links)
• ELAN from a rewriting logic point of view (Q1608914) (← links)
• Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• Parameterized strategies specification in Maude (Q2185882) (← links)
• Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
• A symbolic transformation language and its application to a multiscale method (Q2447638) (← links)
• Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
• Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
• Metalevel transformation of strategies (Q2667189) (← links)
• Generic type-preserving traversal strategies (Q2841223) (← links)
• Compact normalisation trace via lazy rewriting (Q2841224) (← links)
• Rewrite strategies in the rewriting calculus (Q2844065) (← links)
• Deduction, strategies, and rewriting (Q2864357) (← links)
• Programmed strategies for program verification (Q2864527) (← links)
• Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
• A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
• Controlled Term Rewriting (Q3172893) (← links)
• A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
• (Q4222979) (← links)
• Recognizing Strategies (Q5170163) (← links)
• A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
• Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
• A Rewriting Semantics for Maude Strategies (Q5179141) (← links)
• The Maude strategy language (Q6113021) (← links)
• An Overview of the Maude Strategy Language and its Applications (Q6487295) (← links)
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)