2026-07-22T17:55:29Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4773 2024-03-06T10:29:41Z ddc:004 open_access

Calculating communication costs with Sessions Types and Sizes Franco, Juliana Drossopoulou, Sophia Yoshida, Nobuko Session types communication object-oriented multicore 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Juliana Franco and Sophia Drossopoulou and Nobuko Yoshida 2014 Is Part Of OASIcs, Volume 43, 2014 Imperial College Computing Student Workshop InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICCSW.2014.50 urn:nbn:de:0030-drops-47739 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2014.50 eng https://creativecommons.org/licenses/by/3.0/legalcode