Metalevel computation in maude

Keyphrases

• Maude 100%
• Rewriting Logic 100%
• Meta-level 100%
• Systematic Use 33%
• Implementation Techniques 33%
• Theorem Proving 33%
• Metaprogramming 33%
• Language Design 33%
• Language Extension 33%
• Module Composition 33%
• Composition Operation 33%
• Language Implementation 33%
• Maude Language 33%
• Strategy Language 33%
• Reification 33%
• Semantic Principle 33%
• Operation Development 33%
• Metatheory 33%

Computer Science

• Rewriting Logic 100%
• Naive Implementation 33%
• Theorem Proving 33%
• Design Language 33%
• Extension Language 33%
• Composition Operation 33%
• Semantic Principle 33%
• Metatheory 33%