Maude's Internal Strategies
Francisco Durán · Electronic Notes in Theoretical Computer Science · 2005
Maude is a reflective language supporting both rewriting logic and membership equational logic. Reflection is systematically exploited in Maude, endowing the language with powerful metaprogramming capabilities, including declarative strategies to guide the deduction process.