Parameterized Strategies Specification in Maude

This publication has 14 references indexed in Scilit:

• Strategy-Based Proof Calculus for Membrane Systems
  Electronic Notes in Theoretical Computer Science, 2009
• Stratego/XT 0.17. A language and toolset for program transformation
  Science of Computer Programming, 2008
• Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
  Electronic Notes in Theoretical Computer Science, 2007
• Deduction, Strategies, and Rewriting
  Electronic Notes in Theoretical Computer Science, 2007
• Modular Structural Operational Semantics with Strategies
  Electronic Notes in Theoretical Computer Science, 2007
• All About Maude - A High-Performance Logical Framework
  2007
• Towards a Strategy Language for Maude
  Electronic Notes in Theoretical Computer Science, 2005
• Rewriting Logic as a Logical and Semantic Framework
  2002
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
  International Journal of Foundations of Computer Science, 2001
• Specification and proof in membership equational logic
  Theoretical Computer Science, 2000