Sciweavers

126 search results - page 1 / 26
» Session and Union Types for Object Oriented Programming
Sort
View
BIRTHDAY
2008
Springer
13 years 11 months ago
Session and Union Types for Object Oriented Programming
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 abstr...
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani...
POPL
2010
ACM
14 years 6 months ago
Modular Session Types for Distributed Object-Oriented Programming
Alexandre Z. Caldeira, António Ravara, Nils...
ECOOP
2006
Springer
14 years 1 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
FMOODS
2007
13 years 10 months ago
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 gu...
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuk...
TGC
2005
Springer
14 years 2 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...