aherdezadrosyosh05 (In proceedings)
|
Author(s) | Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alex Ahern and Sophia Drossopoulou |
Title | « : a Distributed Object-Oriented language with Session types » |
In | TGC 2005 |
Series | LNCS |
Editor(s) | Rocco De Nicola and Davide Sangiorgi |
Volume | 3705 |
Page(s) | 299--318 |
Year | 2005 |
Publisher | Springer-Verlag |
ISBN number | 3-540-30007-4 |
ISSN number | 0302-9743 |
URL | http://www.di.unito.it/~dezani/papers/addy.pdf |
Abstract |
In the age of the world-wide web and mobile computing, programming communication-centric software becomes increasingly popular. Thus, programmers and program designers get exposed to new levels of complexity, including composition of communication behaviors and guarantee of deadlock freedom of their specified protocols. This paper proposes the language , a simple distributed object-oriented language augmented by session communication primitives and types. provides a flexible object-oriented programming style for structural interaction protocols by prescribing channel usages within signatures of distributed classes. We develop a typing system for and prove its soundness with respect to the operational semantics. We also show that in there will never be a connection error, a communication error, nor an incorrect completion between server-client interactions. These results demonstrate that a consistent integration of object-oriented language features and session types offers a compositional method to statically check safety of communication protocols. |
@inproceedings{aherdezadrosyosh05,
volume = {3705},
issn = {0302-9743},
author = {Mariangiola Dezani-Ciancaglini and Nobuko Yoshida and Alex Ahern and
Sophia Drossopoulou},
series = {LNCS},
booktitle = {TGC 2005},
editor = {Rocco De Nicola and Davide Sangiorgi},
url = {http://www.di.unito.it/~dezani/papers/addy.pdf},
abstract = {In the age of the world-wide web and mobile computing, programming
communication-centric software becomes increasingly popular. Thus,
programmers and program designers get exposed to new levels of
complexity, including composition of communication behaviors and
guarantee of deadlock freedom of their specified protocols. This
paper proposes the language ${\mathsf {L}}_{doos}$, a simple
distributed object-oriented language augmented by session
communication primitives and types. ${\mathsf {L}}_{doos}$
provides a flexible object-oriented programming style for
structural interaction protocols by prescribing channel usages
within signatures of distributed classes. We develop a typing
system for ${\mathsf {L}}_{doos}$ and prove its soundness with
respect to the operational semantics. We also show that in
${\mathsf {L}}_{doos}$ there will never be a connection error, a
communication error, nor an incorrect completion between
server-client interactions. These results demonstrate that a
consistent integration of object-oriented language features and
session types offers a compositional method to statically check
safety of communication protocols.},
title = {${\mathsf {L}}_{doos}$: a {D}istributed {O}bject-{O}riented language
with {S}ession types},
isbn = {3-540-30007-4},
publisher = {Springer-Verlag},
year = {2005},
pages = {299--318},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)