The Maude strategy language

DOI10.1016/J.JLAMP.2023.100887MaRDI QIDQ6113021zbMATH OpenFDO

Authors Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo

Publication date 8 August 2023

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/J.JLAMP.2023.100887

zbMATH Keywords

formal specificationMauderewriting logicrewriting strategies

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A compiler for nondeterministic term rewriting systems
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• A Powerdomain Construction
• A rewriting semantics for Maude strategies
• A survey of strategies in rule-based program transformation systems
• Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
• Algorithm = logic + control
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Deduction, strategies, and rewriting
• Domain theory in logical form
• Equational inference, canonical proofs, and proof orderings
• Faithful (meta-)encodings of programmable strategies into term rewriting systems
• Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• scientific article; zbMATH DE number 1615244 (Why is no real title available?)
• scientific article; zbMATH DE number 1231540 (Why is no real title available?)
• scientific article; zbMATH DE number 1926610 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Metalevel transformation of strategies
• Model checking strategy-controlled rewriting systems
• Modular structural operational semantics with strategies
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• Parameterized Programming
• Parameterized strategies specification in Maude
• Programming and symbolic computation in Maude
• Rewriting strategies and strategic rewrite programs
• Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Safety enforcement via programmable strategies in Maude
• 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 simulations in a semantic framework
• Strategies and user interfaces in Maude at work
• Strategies, model checking and branching-time properties in Maude
• Strategy-based proof calculus for membrane systems
• Term Rewriting and All That
• The \((n^ 2-1)\)-puzzle and related relocation problems
• The lambda calculus, its syntax and semantics
• Twenty years of rewriting logic
• Two Decades of Maude
• Typed mobile ambients in Maude
• Using Maude and its strategies for defining a framework for analyzing Eden semantics

Cited in

(3)

• Transforming concurrent programs with semaphores into logically constrained term rewrite systems
• Forcing, transition algebras, and calculi
• Formal analysis of real-time systems with user-defined strategies in rewriting logic

This page was built for publication: The Maude strategy language

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