What framework did the creator of 'Matching Logic' design and develop for defining programming languages, type systems, and formal analysis tools?
K framework
Grigore Roşu 2YrMeanCitedness 1.1363636255264282227. Grigore Roşu alternative name is Grigore Roşu. Vilas Jagannath et al.: IMUnit: improved multithreaded unit testing. (2010) authored by Grigore Rosu. Grigore Roşu i10Index 128. Grigore Roşu h-index 46. Grigore Roşu written paper amount in year2022: 0. Grigore Grigore Rosu's Ph.D. is from the University of Illinois, Urbana-Champaign, IL, USA. He is the author of the book "Greeke Rosu and Traian-Florin Serbanuta: K Overview and SIMPLE Case Study.". He wrote the paper amount in year2018: 12. He is also affiliated with the University of Illinois, Urbana-Champaign, IL, USA.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What framework did the creator of 'Matching Logic' design and develop for defining programming languages, type systems, and formal analysis tools?
Context: Grigore Roşu 2YrMeanCitedness 1.1363636255264282227. Grigore Roşu alternative name is Grigore Roşu. Vilas Jagannath et al.: IMUnit: improved multithreaded unit testing. (2010) authored by Grigore Rosu. Grigore Roşu i10Index 128. Grigore Roşu h-index 46. Grigore Roşu written paper amount in year2022: 0. Grigore Grigore Rosu's Ph.D. is from the University of Illinois, Urbana-Champaign, IL, USA. He is the author of the book "Greeke Rosu and Traian-Florin Serbanuta: K Overview and SIMPLE Case Study.". He wrote the paper amount in year2018: 12. He is also affiliated with the University of Illinois, Urbana-Champaign, IL, USA.
[/INST] Answer:
