Maude's internal strategies

zbMATH Open1272.68072MaRDI QIDQ2849581FDOQ2849581

Authors: Francisco Durán 

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001258

Recommendations

• Strategies and user interfaces in Maude at work
• scientific article; zbMATH DE number 1231540
• Maude: specification and programming in rewriting logic
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• scientific article; zbMATH DE number 1231654

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Cited In (4)

• An Overview of the Maude Strategy Language and its Applications
• A rewriting semantics for Maude strategies
• Strategies and user interfaces in Maude at work
• Two Decades of Maude

Uses Software

• Maude

This page was built for publication: Maude's internal strategies

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