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

DOI10.1142/S0129054101000412zbMATH Open1319.68125OpenAlexW2106561528MaRDI QIDQ5249248FDOQ5249248

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

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

zbMATH Keywords

matchingstrategyterm rewritingrewriting logicrewriting calculusrewrite-based language

Mathematics Subject Classification ID

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

Cites Work

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

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
• Strategy-based proof calculus for membrane systems
• Strategies, model checking and branching-time properties in Maude
• A lightweight approach to datatype-generic rewriting
• A higher-order graph calculus for autonomic computing
• An Overview of the Maude Strategy Language and its Applications
• Deduction, strategies, and rewriting
• Controlled term rewriting
• A port graph calculus for autonomic computing and invariant verification
• Compact normalisation trace via lazy rewriting
• Strategy based semantics for mobility with time and access permissions
• 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
• Title not available (Why is that?)
• Generic type-preserving traversal strategies
• Title not available (Why is that?)
• Function definitions in term rewriting and applicative programming
• Rewrite strategies in the rewriting calculus
• The Maude strategy language
• Rewriting logic: Roadmap and bibliography

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)