Rewriting logic and maude: Concepts and applications

Keyphrases

• Maude 100%
• Rewriting Logic 100%
• Rewrite Rules 66%
• Logical Frameworks 33%
• Semantic Framework 33%
• General Formalism 16%
• Distributed Systems 16%
• Logic Language 16%
• Language System 16%
• Concurrent Systems 16%
• Inference Rules 16%
• Concurrency Model 16%
• Equational Reasoning 16%
• Local Transitions 16%
• Main Concepts 16%
• Dynamic Interpretation 16%
• Specification Validation 16%

Computer Science

• Rewriting Logic 100%
• Rewrite Rule 66%
• Logical Framework 33%
• Distributed Systems 16%
• Concurrency 16%
• Logic Language 16%
• Concurrent System 16%
• Inference Rule 16%