Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Franco, Juliana; Drossopoulou, Sophia; Yoshida, Nobuko License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-47739

; ;

Calculating communication costs with Sessions Types and Sizes



We present a small object-oriented language with communication primitives. The language allows the assignment of binary session types to communication channels in order to govern the interaction between different objects and to statically calculate communication costs. Class declarations are annotated with size information in order to determine the cost of sending and receiving objects. This paper describes our first steps in the creation of a session-based, object-oriented language for communication optimization purposes.

BibTeX - Entry

  author =	{Juliana Franco and Sophia Drossopoulou and Nobuko Yoshida},
  title =	{{Calculating communication costs with Sessions Types and Sizes}},
  booktitle =	{2014 Imperial College Computing Student Workshop},
  pages =	{50--57},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-76-7},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{43},
  editor =	{Rumyana Neykova and Nicholas Ng},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-47739},
  doi =		{10.4230/OASIcs.ICCSW.2014.50},
  annote =	{Keywords: Session types, communication, object-oriented, multicore}

Keywords: Session types, communication, object-oriented, multicore
Seminar: 2014 Imperial College Computing Student Workshop
Issue date: 2014
Date of publication: 2014

DROPS-Home | Fulltext Search | Imprint Published by LZI