REWRITING WITH STRATEGIES IN \mathsf{ELAN}: A FUNCTIONAL SEMANTICS

DOI10.1142/S0129054101000412MaRDI QIDQ5249248zbMATH OpenOpenAlexFDO

Authors Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen

Publication date 30 April 2015

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054101000412

zbMATH Keywords

matchingstrategyterm rewritingrewriting logicrewriting calculusrewrite-based language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Recommendations

• Rewrite strategies in the rewriting calculus
• A rewriting semantics for Maude strategies
• Formal Methods in Software and Systems Modeling
• ELAN from a rewriting logic point of view
• scientific article; zbMATH DE number 1231657
• A faithful encoding of programmable strategies into term rewriting systems
• Termination of rewriting with strategy annotations
• Structural rewriting in the pi-calculus
• Faithful (meta-)encodings of programmable strategies into term rewriting systems
• Automata, Languages and Programming

Cites work

• A higher-order implementation of rewriting
• Conditional rewriting logic as a unified model of concurrency
• The foundation of a generic theorem prover

Cited in

(30)

• Twenty years of rewriting logic
• A symbolic transformation language and its application to a multiscale method
• Rewriting strategies and strategic rewrite programs
• Typed generic traversal with term rewriting strategies
• Programmed strategies for program verification
• Strategies, model checking and branching-time properties in Maude
• A lightweight approach to datatype-generic rewriting
• Strategy-based proof calculus for membrane systems
• A higher-order graph calculus for autonomic computing
• Deduction, strategies, and rewriting
• Controlled term rewriting
• An Overview of the Maude Strategy Language and its Applications
• Strategy based semantics for mobility with time and access permissions
• A port graph calculus for autonomic computing and invariant verification
• Compact normalisation trace via lazy rewriting
• Crystal: Integrating structured queries into a tactic language
• Recognizing Strategies
• Parameterized strategies specification in Maude
• A rewriting semantics for Maude strategies
• Metalevel transformation of strategies
• Simulating and model checking membrane systems using strategies in Maude
• ELAN from a rewriting logic point of view
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
• scientific article; zbMATH DE number 2090077 (Why is no real title available?)
• Generic type-preserving traversal strategies
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• Function definitions in term rewriting and applicative programming
• Rewrite strategies in the rewriting calculus
• Rewriting logic: Roadmap and bibliography
• The Maude strategy language

This page was built for publication: REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249248)