Matching µ-logic: Foundation of K framework

Keyphrases

• Formal Semantics 100%
• K Framework 100%
• Matching Logic 100%
• Extended Abstracts 50%
• Programming Languages 50%
• Transition System 50%
• Temporal Logic 50%
• All Languages 50%
• Constructor 50%
• Modal Logic 50%
• Language Frameworks 50%
• Semantic Language 50%
• Reachability Logic 50%
• Correct-by-construction 50%
• Language Tools 50%
• Ideal Language 50%
• Variant Logic 50%

Computer Science

• Formal Semantics 100%
• Transition System 50%
• Temporal Logic 50%
• Constructors 50%
• Programming Language 50%