Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Calculating communication costs with sessions types and sizes
File(s)
ICCSW14.pdf (585.67 KB)
Published version
Author(s)
Franco, J
Drossopoulou, S
Yoshida, N
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.
Date Issued
2014-01-01
URI
DOI
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
License URL