K: A semantic framework for programming languages and formal analysis tools

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

Original languageEnglish (US)
Title of host publicationDependable Software Systems Engineering
PublisherIOS Press
Pages186-206
Number of pages21
ISBN (Electronic)9781614998105
ISBN (Print)9781614998099
DOIs
StatePublished - Jan 1 2017

Keywords

  • Formal semantics
  • K
  • Program verification
  • Rewriting

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'K: A semantic framework for programming languages and formal analysis tools'. Together they form a unique fingerprint.

Cite this