K - A Semantic Framework for Programming Languages and Formal Analysis Tools

Rosu, Grigore
Marktoberdorf’16

Abstract. We give an overview of the K framework, following the lecture notes presented by the author at the Marktoberdorf Summer School in year 2016.