Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

aherdezadrosyosh05 (In proceedings)
Author(s) Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alex Ahern and Sophia Drossopoulou
Title« Ldoos: a Distributed Object-Oriented language with Session types »
InTGC 2005
SeriesLNCS
Editor(s) Rocco De Nicola and Davide Sangiorgi
Volume3705
Page(s)299--318
Year2005
PublisherSpringer-Verlag
ISBN number3-540-30007-4
ISSN number0302-9743
URLhttp://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 Ldoos, a simple distributed object-oriented language augmented by session communication primitives and types. Ldoos 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 Ldoos and prove its soundness with respect to the operational semantics. We also show that in Ldoos 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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!