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.

Session and Union Types for Object Oriented Programming / L. Bettini; S. Capecchi; M. Dezani-Ciancaglini; E. Giachino; B. Venneri.. - STAMPA. - (2008), pp. 659-680. [10.1007/978-3-540-68679-8_41]

Session and Union Types for Object Oriented Programming

BETTINI, LORENZO;VENNERI, BATTISTINA
2008

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.
2008
978-354068676-7
Concurrency, Graphs and Models
659
680
L. Bettini; S. Capecchi; M. Dezani-Ciancaglini; E. Giachino; B. Venneri.
File in questo prodotto:
File Dimensione Formato  
SesUnTypes.pdf

accesso aperto

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Open Access
Dimensione 454.74 kB
Formato Adobe PDF
454.74 kB Adobe PDF

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/319871
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 7
social impact