Double-struck K framework distilled

Dorel Lucanu; Traian Florin Şerbǎnuţǎ; Grigore Roşu

doi:10.1007/978-3-642-34005-5_3

Double-struck K framework distilled

Dorel Lucanu, Traian Florin Şerbǎnuţǎ, Grigore Roşu

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

Abstract

Double-struck K is a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined using configurations, computations and rules. Configurations organize the state in units called cells, which are labeled and can be nested. Computations are special nested list structures sequentializing computational tasks, such as fragments of program. Double-struck K (rewrite) rules make it explicit which parts of the term they read-only, write-only, read-write, or do not care about. This makes Double-struck K suitable for defining truly concurrent languages even in the presence of sharing. Computations are like any other terms in a rewriting environment: they can be matched, moved from one place to another, modified, or deleted. This makes Double-struck K suitable for defining control-intensive features such as abrupt termination, exceptions or call/cc. This paper presents an overview of Double-struck K Framework and the Double-struck K tool, focusing on the interaction between the tool and Maude.

Original language	English (US)
Title of host publication	Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers
Pages	31-53
Number of pages	23
DOIs	https://doi.org/10.1007/978-3-642-34005-5_3
State	Published - 2012
Event	9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, Held as a Satellite Event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 - Tallinn, Estonia Duration: Mar 24 2012 → Mar 25 2012

Publication series

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

Other

Other	9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, Held as a Satellite Event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012
Country/Territory	Estonia
City	Tallinn
Period	3/24/12 → 3/25/12

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/978-3-642-34005-5_3

Library availability

Discover UIUC Full Text

Cite this

Lucanu, D., Şerbǎnuţǎ, T. F., & Roşu, G. (2012). Double-struck K framework distilled. In Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers (pp. 31-53). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7571 LNCS). https://doi.org/10.1007/978-3-642-34005-5_3

Double-struck K framework distilled. / Lucanu, Dorel; Şerbǎnuţǎ, Traian Florin; Roşu, Grigore.
Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. 2012. p. 31-53 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7571 LNCS).

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

Lucanu, D, Şerbǎnuţǎ, TF & Roşu, G 2012, Double-struck K framework distilled. in Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7571 LNCS, pp. 31-53, 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, Held as a Satellite Event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, 3/24/12. https://doi.org/10.1007/978-3-642-34005-5_3

Lucanu D, Şerbǎnuţǎ TF, Roşu G. Double-struck K framework distilled. In Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. 2012. p. 31-53. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-34005-5_3

Lucanu, Dorel ; Şerbǎnuţǎ, Traian Florin ; Roşu, Grigore. / Double-struck K framework distilled. Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. 2012. pp. 31-53 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e5668a64d77f4eefb7d24154e04473c5,

title = "Double-struck K framework distilled",

abstract = "Double-struck K is a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined using configurations, computations and rules. Configurations organize the state in units called cells, which are labeled and can be nested. Computations are special nested list structures sequentializing computational tasks, such as fragments of program. Double-struck K (rewrite) rules make it explicit which parts of the term they read-only, write-only, read-write, or do not care about. This makes Double-struck K suitable for defining truly concurrent languages even in the presence of sharing. Computations are like any other terms in a rewriting environment: they can be matched, moved from one place to another, modified, or deleted. This makes Double-struck K suitable for defining control-intensive features such as abrupt termination, exceptions or call/cc. This paper presents an overview of Double-struck K Framework and the Double-struck K tool, focusing on the interaction between the tool and Maude.",

author = "Dorel Lucanu and {\c S}erbǎnu{\c t}ǎ, {Traian Florin} and Grigore Ro{\c s}u",

note = "Funding Information: This work is supported by Contract 161/15.06.2010, SMISCSNR 602-12516 (DAK).; 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, Held as a Satellite Event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 ; Conference date: 24-03-2012 Through 25-03-2012",

year = "2012",

doi = "10.1007/978-3-642-34005-5_3",

language = "English (US)",

isbn = "9783642340048",

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

pages = "31--53",

booktitle = "Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers",

}

TY - GEN

T1 - Double-struck K framework distilled

AU - Lucanu, Dorel

AU - Şerbǎnuţǎ, Traian Florin

AU - Roşu, Grigore

N1 - Funding Information: This work is supported by Contract 161/15.06.2010, SMISCSNR 602-12516 (DAK).

PY - 2012

Y1 - 2012

N2 - Double-struck K is a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined using configurations, computations and rules. Configurations organize the state in units called cells, which are labeled and can be nested. Computations are special nested list structures sequentializing computational tasks, such as fragments of program. Double-struck K (rewrite) rules make it explicit which parts of the term they read-only, write-only, read-write, or do not care about. This makes Double-struck K suitable for defining truly concurrent languages even in the presence of sharing. Computations are like any other terms in a rewriting environment: they can be matched, moved from one place to another, modified, or deleted. This makes Double-struck K suitable for defining control-intensive features such as abrupt termination, exceptions or call/cc. This paper presents an overview of Double-struck K Framework and the Double-struck K tool, focusing on the interaction between the tool and Maude.

AB - Double-struck K is a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined using configurations, computations and rules. Configurations organize the state in units called cells, which are labeled and can be nested. Computations are special nested list structures sequentializing computational tasks, such as fragments of program. Double-struck K (rewrite) rules make it explicit which parts of the term they read-only, write-only, read-write, or do not care about. This makes Double-struck K suitable for defining truly concurrent languages even in the presence of sharing. Computations are like any other terms in a rewriting environment: they can be matched, moved from one place to another, modified, or deleted. This makes Double-struck K suitable for defining control-intensive features such as abrupt termination, exceptions or call/cc. This paper presents an overview of Double-struck K Framework and the Double-struck K tool, focusing on the interaction between the tool and Maude.

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

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

U2 - 10.1007/978-3-642-34005-5_3

DO - 10.1007/978-3-642-34005-5_3

M3 - Conference contribution

AN - SCOPUS:84868318567

SN - 9783642340048

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

SP - 31

EP - 53

BT - Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers

T2 - 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, Held as a Satellite Event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012

Y2 - 24 March 2012 through 25 March 2012

ER -

Double-struck K framework distilled

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this