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

matchingrewrite-based languagerewriting calculusrewriting logicstrategyterm rewriting

Mathematics Subject Classification ID

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

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

(33)

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

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)