Towards a Kool Future

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 languageEnglish (US)
Title of host publicationTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
EditorsErika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Number of pages19
ISBN (Print)9783319307336
StatePublished - 2016
EventFrank de Boer on the Occasion of His 60th Birthday, 2016 - Porto, Portugal
Duration: Jul 5 2016Jul 5 2016

Publication series

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


OtherFrank de Boer on the Occasion of His 60th Birthday, 2016

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Towards a Kool Future'. Together they form a unique fingerprint.

Cite this