DDGY07 (In proceedings)
|
Author(s) | Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino and Nobuko Yoshida |
Title | « Bounded Session Types for Object-Oriented Languages » |
In | FMCO'06 |
Series | LNCS |
Editor(s) | Frank de Boer, Marcello Bonsangue, Susanne Graf and Willem-Paul de Roever |
Volume | 4709 |
Page(s) | 207--245 |
Year | 2007 |
Publisher | Springer-Verlag |
PDF | http://www.di.unito.it/˜dezani/papers/ddgy.pdf |
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, informal explanations, a formal description of the operational semantics and of type system, and a proof of subject reduction. |
@inproceedings{DDGY07,
volume = {4709},
pdf = {http://www.di.unito.it/~dezani/papers/ddgy.pdf},
author = {Mariangiola Dezani-Ciancaglini and Sophia Drossopoulou and Elena
Giachino and Nobuko Yoshida},
series = {LNCS},
booktitle = {{FMCO'06}},
editor = {de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and de
Roever, Willem-Paul},
title = {{Bounded Session Types for Object-Oriented Languages}},
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, informal explanations, a formal
description of the operational semantics and of type system, and a
proof of subject reduction. },
publisher = {Springer-Verlag},
year = {2007},
pages = {207--245},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)