Imperial College London
Alternate

ProfessorSophiaDrossopoulou

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

s.drossopoulou Website

 
 
//

Location

 

559Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Franco:2014:10.4230/OASIcs.ICCSW.2014.50,
author = {Franco, J and Drossopoulou, S and Yoshida, N},
doi = {10.4230/OASIcs.ICCSW.2014.50},
pages = {50--57},
title = {Calculating communication costs with Sessions Types and Sizes},
url = {http://dx.doi.org/10.4230/OASIcs.ICCSW.2014.50},
year = {2014}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Franco,J
AU  - Drossopoulou,S
AU  - Yoshida,N
DO  - 10.4230/OASIcs.ICCSW.2014.50
EP  - 57
PY  - 2014///
SN  - 2190-6807
SP  - 50
TI  - Calculating communication costs with Sessions Types and Sizes
UR  - http://dx.doi.org/10.4230/OASIcs.ICCSW.2014.50
UR  - http://hdl.handle.net/10044/1/23368
ER  -
Download