Xiaohong Chen 0002, Grigore Rosu. $\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures. Volume 12154 of Lecture Notes in Computer Science, pages 122-158, Springer, 2019. [doi]
Abstract is missing.