Exceptional asynchronous session types: session types without tiers

Session types statically guarantee that communication complies with a protocol. However, most accounts of session typing do not account for failure, which means they are of limited use in real applications---especially distributed applications---where failure is pervasive. We present the first forma...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 3; číslo POPL; s. 1 - 29
Hlavní autoři:	Fowler, Simon, Lindley, Sam, Morris, J. Garrett, Decova, Sára
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 02.01.2019
Témata:	Concurrent programming languages Contextual software domains Deadlocks Functional languages General programming languages Language types Operating systems Process management Software and its engineering Software notations and tools Software organization and properties asynchrony session types exceptions web programming
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!