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

From FSL
Jump to: navigation, search

K - A Semantic Framework for Programming Languages and Formal Analysis Tools
Grigore Rosu
Marktoberdorf'16, NATO Science for Peace and Security. 2017. To appear
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.
PDF, K, BIB

Personal tools
Namespaces

Variants
Actions
Navigation