Matching logic is the result of a continuous 20-year effort in finding a foundation logic for formal language frameworks, such as the K language framework, and has led many research papers. Here, we select some milestone papers for starters, discuss..
Relevance: 12.159654