An Overview of the Maude Strategy Language and its Applications
From MaRDI portal
Recommendations
Cites work
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- A rewriting semantics for Maude strategies
- Algorithm = logic + control
- Conditional narrowing modulo in rewriting logic and Maude
- Conditional rewriting logic as a unified model of concurrency
- Context-sensitive rewriting strategies
- Deduction, strategies, and rewriting
- Equational inference, canonical proofs, and proof orderings
- Foundations of the rule-based system \(\rho\,\text{Log}\)
- Handbook of model checking
- scientific article; zbMATH DE number 1231540 (Why is no real title available?)
- Metalevel transformation of strategies
- Model checking strategy-controlled rewriting systems
- Modular structural operational semantics with strategies
- Parameterized strategies specification in Maude
- Programming and symbolic computation in Maude
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
- Simulating and model checking membrane systems using strategies in Maude
- Solving Sudoku puzzles with rewriting rules
- Strategic port graph rewriting: an interactive modelling framework
- Strategies and user interfaces in Maude at work
- Strategies, model checking and branching-time properties in Maude
- The Maude LTL model checker
- Twenty years of rewriting logic
- Typed mobile ambients in Maude
- Using Maude and its strategies for defining a framework for analyzing Eden semantics
Cited in
(11)- The use of a strategy language for solving search problems
- Parameterized strategies specification in Maude
- Metalevel transformation of strategies
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- Modular structural operational semantics with strategies
- scientific article; zbMATH DE number 1231537 (Why is no real title available?)
- Model checking strategy-controlled rewriting systems
- Symbolic analysis of Maude theories with Narval
- A rewriting semantics for Maude strategies
- QMaude: quantitative specification and verification in rewriting logic
- Challenges in formal analysis of resilience: capturing the tradeoff between the chance of failure and the cost of success
This page was built for publication: An Overview of the Maude Strategy Language and its Applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487295)
