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

Grigore Rosu

doi:10.3233/978-1-61499-810-5-186

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 language	English (US)
Title of host publication	Dependable Software Systems Engineering
Publisher	IOS Press
Pages	186-206
Number of pages	21
ISBN (Electronic)	9781614998105
ISBN (Print)	9781614998099
DOIs	https://doi.org/10.3233/978-1-61499-810-5-186
State	Published - Jan 1 2017

Keywords

Formal semantics
K
Program verification
Rewriting

ASJC Scopus subject areas

General Computer Science

Online availability

10.3233/978-1-61499-810-5-186

Library availability

Discover UIUC Full Text

Cite this

@inbook{6f541238cd804d0a8f65b9e93c0b1ce1,

title = "K: A semantic framework for programming languages and formal analysis tools",

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.",

keywords = "Formal semantics, K, Program verification, Rewriting",

author = "Grigore Rosu",

year = "2017",

month = jan,

day = "1",

doi = "10.3233/978-1-61499-810-5-186",

language = "English (US)",

isbn = "9781614998099",

pages = "186--206",

booktitle = "Dependable Software Systems Engineering",

publisher = "IOS Press",

address = "Netherlands",

}

TY - CHAP

T1 - K

T2 - A semantic framework for programming languages and formal analysis tools

AU - Rosu, Grigore

PY - 2017/1/1

Y1 - 2017/1/1

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

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

KW - Formal semantics

KW - K

KW - Program verification

KW - Rewriting

UR - http://www.scopus.com/inward/record.url?scp=85046430286&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85046430286&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-810-5-186

DO - 10.3233/978-1-61499-810-5-186

M3 - Chapter

AN - SCOPUS:85046430286

SN - 9781614998099

SP - 186

EP - 206

BT - Dependable Software Systems Engineering

PB - IOS Press

ER -

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

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this