@inproceedings{bbf43904e8cd4ba896e930344e6b16d2,
title = "Matching µ-logic: Foundation of K framework",
abstract = "K framework is an effort in realizing the ideal language framework where programming languages must have formal semantics and all languages tools are automatically generated from the formal semantics in a correct-by-construction manner at no additional costs. In this extended abstract, we present matching µ-logic as the foundation of K and discuss some of its applications in defining constructors, transition systems, modal µ-logic and temporal logic variants, and reachability logic.",
keywords = "Matching µ-logic, Program verification, Reachability logic",
author = "Xiaohong Chen and Grigore Ro{\c s}u",
note = "Publisher Copyright: {\textcopyright} Xiaohong Chen and Grigore Ro{\c s}u.; 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 ; Conference date: 03-06-2019 Through 06-06-2019",
year = "2019",
month = nov,
doi = "10.4230/LIPIcs.CALCO.2019.1",
language = "English (US)",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Markus Roggenbach and Ana Sokolova",
booktitle = "8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019",
}