The Rewriting Logic Semantics Project

Keyphrases

• Rewriting Logic Semantics 100%
• Semantic Definition 100%
• Interpreter 66%
• Rewriting Logic 66%
• Maude 33%
• Denotational Semantics 33%
• Logic Language 33%
• Program Analysis 33%
• Rewrite Rules 33%
• Rewrite Theory 33%
• Logical Frameworks 33%
• Formal Tools 33%

Computer Science

• Rewriting Logic 100%
• Interpreter 66%
• Program Analysis 33%
• Logic Language 33%
• Denotational Semantics 33%
• Analysis Capability 33%
• Rewrite Rule 33%
• Logical Framework 33%
• Formal Generic 33%