Towards a Kool Future

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

doi:10.1007/978-3-319-30734-3_22

Towards a Kool Future

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

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

Abstract

The K framework was successfully used for defining formal semantics for several practical languages, e.g. C, Java, Java Script, but no language with distributed concurrent objects was defined in K up to now. In this paper we investigate how the model of asynchronous method calls, using the so-called futures for handling the return values, can be added to an existing K definition using the ideas from the Complete Guide to the Future paper. As the running example we use the K definition of KOOL, a pedagogical and research language that captures the essence of the object-oriented programming paradigm. This is a first step toward a generic methodology for modularly adding future-based mechanisms to allow asynchronous method calls.

Original language	English (US)
Title of host publication	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Editors	Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Publisher	Springer
Pages	325-343
Number of pages	19
ISBN (Print)	9783319307336
DOIs	https://doi.org/10.1007/978-3-319-30734-3_22
State	Published - 2016
Event	Frank de Boer on the Occasion of His 60th Birthday, 2016 - Porto, Portugal Duration: Jul 5 2016 → Jul 5 2016

Publication series

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

Other

Other	Frank de Boer on the Occasion of His 60th Birthday, 2016
Country/Territory	Portugal
City	Porto
Period	7/5/16 → 7/5/16

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-319-30734-3_22

Library availability

Discover UIUC Full Text

Cite this

Lucanu, D., Şerbănuţă, T. F., & Roşu, G. (2016). Towards a Kool Future. In E. Ábrahám, M. Bonsangue, & E. B. Johnsen (Eds.), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (pp. 325-343). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9660). Springer. https://doi.org/10.1007/978-3-319-30734-3_22

Towards a Kool Future. / Lucanu, Dorel; Şerbănuţă, Traian Florin; Roşu, Grigore.
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. ed. / Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Springer, 2016. p. 325-343 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9660).

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

Lucanu, D, Şerbănuţă, TF & Roşu, G 2016, Towards a Kool Future. in E Ábrahám, M Bonsangue & EB Johnsen (eds), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9660, Springer, pp. 325-343, Frank de Boer on the Occasion of His 60th Birthday, 2016, Porto, Portugal, 7/5/16. https://doi.org/10.1007/978-3-319-30734-3_22

Lucanu D, Şerbănuţă TF, Roşu G. Towards a Kool Future. In Ábrahám E, Bonsangue M, Johnsen EB, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer. 2016. p. 325-343. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-30734-3_22

Lucanu, Dorel ; Şerbănuţă, Traian Florin ; Roşu, Grigore. / Towards a Kool Future. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. editor / Erika Ábrahám ; Marcello Bonsangue ; Einar Broch Johnsen. Springer, 2016. pp. 325-343 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{737548feb3c848a38dfd10b23ccd28df,

title = "Towards a Kool Future",

abstract = "The K framework was successfully used for defining formal semantics for several practical languages, e.g. C, Java, Java Script, but no language with distributed concurrent objects was defined in K up to now. In this paper we investigate how the model of asynchronous method calls, using the so-called futures for handling the return values, can be added to an existing K definition using the ideas from the Complete Guide to the Future paper. As the running example we use the K definition of KOOL, a pedagogical and research language that captures the essence of the object-oriented programming paradigm. This is a first step toward a generic methodology for modularly adding future-based mechanisms to allow asynchronous method calls.",

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

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; Frank de Boer on the Occasion of His 60th Birthday, 2016 ; Conference date: 05-07-2016 Through 05-07-2016",

year = "2016",

doi = "10.1007/978-3-319-30734-3_22",

language = "English (US)",

isbn = "9783319307336",

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

publisher = "Springer",

pages = "325--343",

editor = "Erika {\'A}brah{\'a}m and Marcello Bonsangue and Johnsen, {Einar Broch}",

booktitle = "Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday",

address = "Germany",

}

TY - GEN

T1 - Towards a Kool Future

AU - Lucanu, Dorel

AU - Şerbănuţă, Traian Florin

AU - Roşu, Grigore

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - The K framework was successfully used for defining formal semantics for several practical languages, e.g. C, Java, Java Script, but no language with distributed concurrent objects was defined in K up to now. In this paper we investigate how the model of asynchronous method calls, using the so-called futures for handling the return values, can be added to an existing K definition using the ideas from the Complete Guide to the Future paper. As the running example we use the K definition of KOOL, a pedagogical and research language that captures the essence of the object-oriented programming paradigm. This is a first step toward a generic methodology for modularly adding future-based mechanisms to allow asynchronous method calls.

AB - The K framework was successfully used for defining formal semantics for several practical languages, e.g. C, Java, Java Script, but no language with distributed concurrent objects was defined in K up to now. In this paper we investigate how the model of asynchronous method calls, using the so-called futures for handling the return values, can be added to an existing K definition using the ideas from the Complete Guide to the Future paper. As the running example we use the K definition of KOOL, a pedagogical and research language that captures the essence of the object-oriented programming paradigm. This is a first step toward a generic methodology for modularly adding future-based mechanisms to allow asynchronous method calls.

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

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

U2 - 10.1007/978-3-319-30734-3_22

DO - 10.1007/978-3-319-30734-3_22

M3 - Conference contribution

AN - SCOPUS:84962619713

SN - 9783319307336

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

SP - 325

EP - 343

BT - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

A2 - Ábrahám, Erika

A2 - Bonsangue, Marcello

A2 - Johnsen, Einar Broch

PB - Springer

T2 - Frank de Boer on the Occasion of His 60th Birthday, 2016

Y2 - 5 July 2016 through 5 July 2016

ER -

Towards a Kool Future

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this