License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICCSW.2014.50
URN: urn:nbn:de:0030-drops-47739
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4773/
Franco, Juliana ;
Drossopoulou, Sophia ;
Yoshida, Nobuko
Calculating communication costs with Sessions Types and Sizes
Abstract
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
@InProceedings{franco_et_al:OASIcs:2014:4773,
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 = {http://drops.dagstuhl.de/opus/volltexte/2014/4773},
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 |
|
Collection: |
|
2014 Imperial College Computing Student Workshop |
|
Issue Date: |
|
2014 |
|
Date of publication: |
|
08.10.2014 |
