| BCDGV08 (In proceedings)
|
| Author(s) | Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino and Betti Venneri |
| Title | « Session and Union Types for Object Oriented Programming » |
| In | Concurrency, Graphs and Models |
| Series | LNCS |
| Editor(s) | Rocco De Nicola, Pierpaolo Degano and José Meseguer |
| Volume | 5065 |
| Page(s) | 659--680 |
| Year | 2008 |
| Publisher | Springer-Verlag |
| URL | http://www.springerlink.com/content/b0k501u7n65g5676 |
| Abstract |
| In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured communication sequences (sessions). In this paper we propose union types for refining and enhancing the flexibility of session types in the context of communication centred and object oriented programming. We demonstrate our ideas through an example and a calculus formalising the main issues of the present approach. The type system garantees that, in well-typed executable programs, after a session has started, the values sent and received will be of the appropriate type, and no process can get stuck forever. |
@inproceedings{BCDGV08,
volume = {5065},
ote = {Essays Dedicated to Ugo Montanari on the Occasion of His 65th
Birthday.},
author = {Lorenzo Bettini and Sara Capecchi and Mariangiola Dezani-Ciancaglini
and Elena Giachino and Betti Venneri},
series = {LNCS},
booktitle = {{Concurrency, Graphs and Models}},
editor = {Rocco De Nicola and Pierpaolo Degano and Jos\'e Meseguer},
url = {http://www.springerlink.com/content/b0k501u7n65g5676},
title = {{Session and Union Types for Object Oriented Programming}},
abstract = {In network applications it is crucial to have a mechanism to
guarantee that communications evolve correctly according to the
agreed protocol. Session types offer a method for abstracting and
validating structured communication sequences (sessions). In this
paper we propose union types for refining and enhancing the
flexibility of session types in the context of communication
centred and object oriented programming. We demonstrate our ideas
through an example and a calculus formalising the main issues of
the present approach. The type system garantees that, in
well-typed executable programs, after a session has started, the
values sent and received will be of the appropriate type, and no
process can get stuck forever.},
publisher = {Springer-Verlag},
year = {2008},
pages = {659--680},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
