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

From FSL
Revision as of 13:44, 20 August 2017 by Grosu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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