Bounded session types for object oriented languages

31Citations
Citations of this article
16Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Earlier work explored the introduction of session types into object oriented languages. Following the session types literature, two parties would start communicating, provided the types attached to that communication, i.e. the corresponding session types, were dual of each other. Then, the type system was able to ensure soundness, in the sense that two communicating partners were guaranteed to receive/send sequences of values following the order specified by their session types. In the current paper we improve upon our earlier work in two ways: we extend the type system to support bounded polymorphism, and we make the selection more object-oriented, so that control structures determine how to continue evaluation, depending on the class of the object being sent/received. Interestingly, although our notion of selection is more powerful than that in earlier work, the ensuing system turned out not to be more complex, except for the notion of duality, which needed to be extended, to correctly deal with bounded polymorphism, and to capture the new notion of selection. The paper contains an example, informed explanations, a formal description of the operational semantics and of type system, and a proof of subject reduction. © Springer-Verlag Berlin Heidelberg 2007.

Cite

CITATION STYLE

APA

Dezani-Ciancaglini, M., Giachino, E., Drossopoulou, S., & Yoshida, N. (2007). Bounded session types for object oriented languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4709 LNCS, pp. 207–245). Springer Verlag. https://doi.org/10.1007/978-3-540-74792-5_10

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free