Maude as a formal meta-tool

Computer Science

• Logical Framework 100%
• Software Systems 50%
• Efficient Implementation 50%
• Multiplicity 50%
• Technical Challenge 50%
• Rewriting Logic 50%
• Implementation Effort 50%
• Inference Engines 50%
• Inference System 50%
• Composition Operation 50%
• Metatheory 50%

Keyphrases

• Maude 100%
• Multi-tool 100%
• Logical Frameworks 40%
• Duplication 20%
• Efficient Implementation 20%
• General Logic 20%
• Translator 20%
• Rewriting Logic 20%
• Implementation Effort 20%
• Inference Engine 20%
• Efficient Inference 20%
• Module Composition 20%
• Composition Operation 20%
• Maude Language 20%
• Inference System 20%
• Module Algebra 20%
• Formal Tools 20%
• Metatheory 20%
• Complex Software Systems 20%
• Formal Inference 20%