| CDY07 (In proceedings)
|
| Author(s) | Mario Coppo, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida |
| Title | « Asynchronous Session Types and Progress for Object-Oriented Languages » |
| In | FMOODS'07 |
| Series | LNCS |
| Editor(s) | Marcello Bonsangue and Einar Broch Johnsen |
| Volume | 4468 |
| Page(s) | 1--31 |
| Year | 2007 |
| Publisher | Springer |
| PDF | http://www.di.unito.it/˜dezani/papers/cdy.pdf |
| Abstract |
| A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to guarantee consistency of the exchanged data and, more recently, progress of the session, i.e. the property that once a communication has been established, well-formed programs will never starve at communication points. A relevant feature which influences progress is whether the communication is synchronous or asynchronous. In this paper, we first formulate a typed asynchronous multi-threaded object-oriented language with thread spawning, iterative and higher order sessions. Then we study its progress through a new effect system. As far as we know, ours is the first session type system which assures progress in asynchronous communication. |
@inproceedings{CDY07,
volume = 4468,
pdf = {http://www.di.unito.it/~dezani/papers/cdy.pdf},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida},
series = {LNCS},
booktitle = {FMOODS'07},
editor = {Marcello Bonsangue and Einar Broch Johnsen},
title = {{Asynchronous Session Types and Progress for Object-Oriented
Languages}},
abstract = {A session type is an abstraction of a sequence of heterogeneous
values sent over one channel between two communicating processes.
Session types have been introduced to guarantee consistency of the
exchanged data and, more recently, \emph{progress} of the session,
i.e.~the property that once a communication has been established,
well-{formed} programs will never starve at communication points.
A relevant feature which influences progress is whether the
communication is synchronous or asynchronous. In this paper, we
first formulate a {typed} asynchronous multi-threaded
object-oriented language with thread spawning, iterative and
higher order sessions. {T}hen we study its progress through a new
effect system. As far as we know, ours is the first session type
system which assures progress in asynchronous communication.},
publisher = {Springer},
year = {2007},
pages = {1--31},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
