Metalevel transformation of strategies

DOI10.1016/j.jlamp.2021.100728OpenAlexW3205045940WikidataQ123905799 ScholiaQ123905799MaRDI QIDQ2667189

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

Publication date: 24 November 2021

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

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100728

zbMATH Keywords

reflectionmodel checkingrewriting strategiesMaude

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

The Maude strategy language

Uses Software

• Stratego
• Maude
• LTSmin
• Tom
• ORME

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers
• Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
• Conditional rewriting logic as a unified model of concurrency
• Context-sensitive rewriting strategies
• Applications and extensions of context-sensitive rewriting
• Parameterized strategies specification in Maude
• Strategies, model checking and branching-time properties in Maude
• Programming and symbolic computation in Maude
• Simulating and model checking membrane systems using strategies in Maude
• The mu-calculus and Model Checking
• Solving SAT and SAT Modulo Theories
• Foundations of the rule-based system ρLog
• “Sometimes” and “not never” revisited
• Strategic port graph rewriting: an interactive modelling framework
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS