The K Vision for the Future of Programming Language Design and Analysis

Xiaohong Chen; Grigore Roşu

doi:10.1007/978-3-030-87348-6_1

The K Vision for the Future of Programming Language Design and Analysis

Xiaohong Chen^*, Grigore Roşu

^*Corresponding author for this work

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

2 Citations (SciVal)

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	3-9
Number of pages	7
DOIs	https://doi.org/10.1007/978-3-030-87348-6_1
Publication status	Published (VoR) - 2021

Publication series

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

Keywords

K framework
Language frameworks
Programming language design

Access to Document

10.1007/978-3-030-87348-6_1

Cite this

Chen, X., & Roşu, G. (2021). The K Vision for the Future of Programming Language Design and Analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 3-9). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13065 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-87348-6_1

Chen, Xiaohong ; Roşu, Grigore. / The K Vision for the Future of Programming Language Design and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, 2021. pp. 3-9 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{9a4637e8fc6149fa968164137ae496a7,

title = "The K Vision for the Future of Programming Language Design and Analysis",

keywords = "K framework, Language frameworks, Programming language design",

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

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.",

year = "2021",

doi = "10.1007/978-3-030-87348-6_1",

language = "English",

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

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "3--9",

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

}

Chen, X & Roşu, G 2021, The K Vision for the Future of Programming Language Design and Analysis. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13065 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 3-9. https://doi.org/10.1007/978-3-030-87348-6_1

The K Vision for the Future of Programming Language Design and Analysis. / Chen, Xiaohong; Roşu, Grigore.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, 2021. p. 3-9 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13065 LNCS).

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

TY - CHAP

T1 - The K Vision for the Future of Programming Language Design and Analysis

AU - Chen, Xiaohong

AU - Roşu, Grigore

PY - 2021

Y1 - 2021

KW - K framework

KW - Language frameworks

KW - Programming language design

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

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

U2 - 10.1007/978-3-030-87348-6_1

DO - 10.1007/978-3-030-87348-6_1

M3 - Chapter

AN - SCOPUS:85117533613

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

SP - 3

EP - 9

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

PB - Springer Science and Business Media Deutschland GmbH

ER -

Chen X, Roşu G. The K Vision for the Future of Programming Language Design and Analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH. 2021. p. 3-9. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-87348-6_1

The K Vision for the Future of Programming Language Design and Analysis

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this