A static typechecking algorithm to guarantee that, after a session has started, computation cannot get stuck on a communication deadlock.

Deriving Session and Union Types for Objects / Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 23:(2013), pp. 1163-1219. [10.1017/S0960129512000886]

Deriving Session and Union Types for Objects

BETTINI, LORENZO;VENNERI, BATTISTINA
2013

Abstract

A static typechecking algorithm to guarantee that, after a session has started, computation cannot get stuck on a communication deadlock.
2013
23
1163
1219
Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Battistina
1a - Articolo su rivista
File in questo prodotto:
File Dimensione Formato  
2.MSCS.pdf

Accesso chiuso

Descrizione: Articolo principale
Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 1.02 MB
Formato Adobe PDF
  Richiedi una copia
1.02 MB Adobe PDF   Richiedi una copia

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/778513
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact