K—A semantic framework for programming languages and formal analysis

Xiaohong Chen; Grigore Roşu

doi:10.1007/978-3-030-55089-9_4

K—A semantic framework for programming languages and formal analysis

Xiaohong Chen^*, Grigore Roşu

^*Corresponding author for this work

University of Illinois at Urbana-Champaign

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Citations (SciVal)

Original language	English
Title of host publication	Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures
Editors	Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Publisher	Springer
Pages	122-158
Number of pages	37
ISBN (Print)	9783030550882
DOIs	https://doi.org/10.1007/978-3-030-55089-9_4
Publication status	Published (VoR) - 2020
Event	5th International School on Engineering Trustworthy Software Systems, SETSS 2019 - Chongqing, China Duration: 21 Apr 2019 → 27 Apr 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12154 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International School on Engineering Trustworthy Software Systems, SETSS 2019
Country/Territory	China
City	Chongqing
Period	21/04/19 → 27/04/19

Keywords

Formal semantics
K framework
Matching logic

Access to Document

10.1007/978-3-030-55089-9_4

Cite this

Chen, X., & Roşu, G. (2020). K—A semantic framework for programming languages and formal analysis. In J. P. Bowen, Z. Liu, & Z. Zhang (Eds.), Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures (pp. 122-158). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12154 LNCS). Springer. https://doi.org/10.1007/978-3-030-55089-9_4

Chen, Xiaohong ; Roşu, Grigore. / K—A semantic framework for programming languages and formal analysis. Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures. editor / Jonathan P. Bowen ; Zhiming Liu ; Zili Zhang. Springer, 2020. pp. 122-158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{64e0b762fd4e4478aeba8a722b2723fc,

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

keywords = "Formal semantics, K framework, Matching logic",

author = "Xiaohong Chen and Grigore Ro{\c s}u",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.; 5th International School on Engineering Trustworthy Software Systems, SETSS 2019 ; Conference date: 21-04-2019 Through 27-04-2019",

year = "2020",

doi = "10.1007/978-3-030-55089-9_4",

language = "English",

isbn = "9783030550882",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "122--158",

editor = "Bowen, {Jonathan P.} and Zhiming Liu and Zili Zhang",

booktitle = "Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures",

}

Chen, X & Roşu, G 2020, K—A semantic framework for programming languages and formal analysis. in JP Bowen, Z Liu & Z Zhang (eds), Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12154 LNCS, Springer, pp. 122-158, 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, Chongqing, China, 21/04/19. https://doi.org/10.1007/978-3-030-55089-9_4

K—A semantic framework for programming languages and formal analysis. / Chen, Xiaohong; Roşu, Grigore.
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures. ed. / Jonathan P. Bowen; Zhiming Liu; Zili Zhang. Springer, 2020. p. 122-158 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12154 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - K—A semantic framework for programming languages and formal analysis

AU - Chen, Xiaohong

AU - Roşu, Grigore

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2020.

PY - 2020

Y1 - 2020

KW - Formal semantics

KW - K framework

KW - Matching logic

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

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

U2 - 10.1007/978-3-030-55089-9_4

DO - 10.1007/978-3-030-55089-9_4

M3 - Conference contribution

AN - SCOPUS:85089715703

SN - 9783030550882

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 122

EP - 158

BT - Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures

A2 - Bowen, Jonathan P.

A2 - Liu, Zhiming

A2 - Zhang, Zili

PB - Springer

T2 - 5th International School on Engineering Trustworthy Software Systems, SETSS 2019

Y2 - 21 April 2019 through 27 April 2019

ER -

Chen X, Roşu G. K—A semantic framework for programming languages and formal analysis. In Bowen JP, Liu Z, Zhang Z, editors, Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures. Springer. 2020. p. 122-158. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-55089-9_4

K—A semantic framework for programming languages and formal analysis

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this