Calculating communication costs with sessions types and sizes

File Description SizeFormat 
ICCSW14.pdfPublished version585.67 kBAdobe PDFView/Open
Title: Calculating communication costs with sessions types and sizes
Authors: Franco, J
Drossopoulou, S
Yoshida, N
Item Type: Conference Paper
Abstract: © Juliana Franco, Sophia Drossopoulou, and Nobuko Yoshida.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.
Issue Date: 1-Jan-2014
URI: http://hdl.handle.net/10044/1/23368
DOI: https://dx.doi.org/10.4230/OASIcs.ICCSW.2014.50
ISBN: 9783939897767
ISSN: 2190-6807
Start Page: 50
End Page: 57
Journal / Book Title: OpenAccess Series in Informatics
Volume: 43
Copyright Statement: © 2014 Juliana Franco, Sophia Drossopoulou, and Nobuko Yoshida; licensed under Creative Commons License CC-BY
Appears in Collections:Faculty of Engineering
Computing



This item is licensed under a Creative Commons License Creative Commons