Calculating communication costs with sessions types and sizes

摘要

© 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.