Maude's internal strategies

MaRDI QIDQ2849581zbMATH OpenFDO

Authors Francisco Durán

Publication date 20 September 2013

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

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)