The Maude strategy language

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
The $(n^ 2-1)$-puzzle and related relocation problems
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
A complete proof of correctness of the Knuth-Bendix completion algorithm
The lambda calculus, its syntax and semantics
Domain theory in logical form
Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
Conditional rewriting logic as a unified model of concurrency
Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings
Twenty years of rewriting logic
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
Parameterized strategies specification in Maude
Strategies, model checking and branching-time properties in Maude
Programming and symbolic computation in Maude
A survey of strategies in rule-based program transformation systems
Simulating and model checking membrane systems using strategies in Maude
Metalevel transformation of strategies
Safety enforcement via programmable strategies in Maude
Deduction, Strategies, and Rewriting
Modular Structural Operational Semantics with Strategies
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Solving Sudoku Puzzles with Rewriting Rules
Two Decades of Maude
Rewriting Strategies and Strategic Rewrite Programs
Parameterized Programming
Foundations of the rule-based system ρLog
A Powerdomain Construction
Algorithm = logic + control
Equational inference, canonical proofs, and proof orderings
Strategic port graph rewriting: an interactive modelling framework
Term Rewriting and All That
A compiler for nondeterministic term rewriting systems
Strategy-Based Proof Calculus for Membrane Systems
A Rewriting Semantics for Maude Strategies
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
Strategies and simulations in a semantic framework

This page was built for publication: The Maude strategy language