@inproceedings{DMYD06,
  volume = 4067,
  pdf = {http://www.di.unito.it/~dezani/papers/ddmy.pdf},
  author = {Mariangiola Dezani-Ciancaglini and Dimitris Mostrous and Nobuko
            Yoshida and Sophia Drossopoulou},
  series = {LNCS},
  booktitle = {ECOOP'06},
  editor = {Dave Thomas},
  title = {{Session Types for Object-Oriented Languages}},
  abstract = {A session takes place between two parties; after establishing a
              connection, each party interleaves local computations with
              communications (sending or receiving) with the other. Session
              types characterise such sessions in terms of the types of values
              communicated and the shape of protocols, and have been developed
              for the pi-calculus, CORBA interfaces, and functional languages.
              We study the incorporation of session types into object-oriented
              languages through Moose, a multi-threaded language with session
              types, thread spawning, iterative and higher-order sessions. Our
              design aims to consistently integrate the object-oriented
              programming style and sessions, and to be able to treat various
              case studies from the literature. We describe the design of Moose,
              its syntax, operational semantics and type system, and develop a
              type inference system. After proving subject reduction, we
              establish the progress property: once a communication has been
              established, well-typed programs will never starve at
              communication points. },
  publisher = {Springer-Verlag},
  year = {2006},
  pages = {328--352},
}

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