Parameterized strategies specification in Maude

DOI10.1007/978-3-030-23220-7_2zbMath1444.68104OpenAlexW2954014999WikidataQ123905808 ScholiaQ123905808MaRDI QIDQ2185882

Isabel Pita, Narciso Martí-Oliet, Alberto Verdejo, Rubén Rubio

Publication date: 8 June 2020

Full work available at URL: https://hal.inria.fr/hal-02364577/file/486157_1_En_2_Chapter.pdf

zbMATH Keywords

strategiesrewriting logicMaudeparameterized specification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (9)

Simulating and model checking membrane systems using strategies in Maude ⋮ Metalevel transformation of strategies ⋮ Parameterized strategies specification in Maude ⋮ The Maude strategy language ⋮ Strategies in conditional narrowing modulo SMT plus axioms ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Programming and symbolic computation in Maude ⋮ Applications and extensions of context-sensitive rewriting ⋮ Derivational complexity and context-sensitive Rewriting

Cites Work

• 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
• Specification and proof in membership equational logic
• Parameterized strategies specification 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
• Strategy-Based Proof Calculus for Membrane Systems
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Strategies and simulations in a semantic framework
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parameterized strategies specification in Maude